/Semestr 3/pf/lista4/logic/

• ../
• Makefile
• README
• _build
• _tags
• logic.cma
• logic.cmi
• logic.mllib