]> matita.cs.unibo.it Git - helm.git/blob - components/tptp_grafite/.depend.opt
New dependency over acic_procedural.
[helm.git] / components / tptp_grafite / .depend.opt
1 parser.cmi: ast.cmx 
2 lexer.cmo: parser.cmi 
3 lexer.cmx: parser.cmx 
4 parser.cmo: ast.cmx parser.cmi 
5 parser.cmx: ast.cmx parser.cmi 
6 tptp2grafite.cmo: parser.cmi lexer.cmx ast.cmx tptp2grafite.cmi 
7 tptp2grafite.cmx: parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi