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