helm/ocaml/cic_notation/.depend

   1 cicNotationParser.cmi: cicNotationPt.cmo
   2 cicNotationLexer.cmo: cicNotationLexer.cmi
   3 cicNotationLexer.cmx: cicNotationLexer.cmi
   4 cicNotationParser.cmo: cicNotationPt.cmo cicNotationLexer.cmi \
   5     cicNotationParser.cmi
   6 cicNotationParser.cmx: cicNotationPt.cmx cicNotationLexer.cmx \
   7     cicNotationParser.cmi