]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_textual_parser/.depend
Initial revision
[helm.git] / helm / ocaml / cic_textual_parser / .depend
1 cicTextualParserContext.cmi: cicTextualParser.cmi 
2 cicTextualParser.cmo: cicTextualParser0.cmo cicTextualParser.cmi 
3 cicTextualParser.cmx: cicTextualParser0.cmx cicTextualParser.cmi 
4 cicTextualParserContext.cmo: cicTextualParser.cmi cicTextualParser0.cmo \
5     cicTextualParserContext.cmi 
6 cicTextualParserContext.cmx: cicTextualParser.cmx cicTextualParser0.cmx \
7     cicTextualParserContext.cmi 
8 cicTextualLexer.cmo: cicTextualParser.cmi 
9 cicTextualLexer.cmx: cicTextualParser.cmx