/semestr-3/pf/lista5/proof/

• ../
• _build
• logic.cma
• logic.cmi
• logic.ml
• logic.mli
• logic.mllib
• proof.cmi
• proof.ml
• proof.mli