matita/components/grafite_engine/.depend.opt

   1 grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \
   2     grafiteEngine.cmi
   3 grafiteEngine.cmi : grafiteTypes.cmi
   4 grafiteTypes.cmx : grafiteTypes.cmi
   5 grafiteTypes.cmi :
   6 nCicCoercDeclaration.cmx : grafiteTypes.cmx nCicCoercDeclaration.cmi
   7 nCicCoercDeclaration.cmi : grafiteTypes.cmi