/semestr-3/pf/lista5/proof/_build/

• ../
• logic.cma
• logic.cmi
• logic.cmo
• logic.ml
• logic.ml.depends
• logic.mli
• logic.mli.depends
• logic.mllib
• ocamlc.where
• proof.cmi
• proof.cmo
• proof.ml
• proof.ml.depends
• proof.mli
• proof.mli.depends