aboutsummaryrefslogtreecommitdiff
path: root/semestr-3/pf/lista5/proof/logic.cma
AgeCommit message (Expand)Author
2021-10-05Duzy commit ze smieciamiFranciszek Malinka