aboutsummaryrefslogtreecommitdiff
path: root/Semestr 3/pf/lista4/logic
ModeNameSize
-rw-r--r--Makefile295logplain
-rw-r--r--README960logplain
d---------_build420logplain
-rw-r--r--_tags0logplain
-rw-r--r--logic.cma3109logplain
-rw-r--r--logic.cmi1513logplain
-rw-r--r--logic.mllib7logplain