/Semestr 3/pf/lista5/proof/

• ../
• Makefile
• README
• _build
• _tags
• logic.cma
• logic.cmi
• logic.ml
• logic.mli
• logic.mllib
• proof.cmi
• proof.ml
• proof.mli