helm/ocaml/grafite/.depend

   1 grafiteAstPp.cmi: grafiteAst.cmo
   2 grafiteParser.cmi: grafiteAst.cmo
   3 cicNotation.cmi: grafiteAst.cmo
   4 grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi
   5 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi
   6 grafiteParser.cmo: grafiteAst.cmo grafiteParser.cmi
   7 grafiteParser.cmx: grafiteAst.cmx grafiteParser.cmi
   8 cicNotation.cmo: grafiteParser.cmi grafiteAst.cmo cicNotation.cmi
   9 cicNotation.cmx: grafiteParser.cmx grafiteAst.cmx cicNotation.cmi