matita/components/grafite_engine/.depend

   1 grafiteEngine.cmo : nCicCoercDeclaration.cmi grafiteTypes.cmi \
   2     grafiteEngine.cmi
   3 grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \
   4     grafiteEngine.cmi
   5 grafiteEngine.cmi : grafiteTypes.cmi
   6 grafiteTypes.cmo : grafiteTypes.cmi
   7 grafiteTypes.cmx : grafiteTypes.cmi
   8 grafiteTypes.cmi :
   9 nCicCoercDeclaration.cmo : grafiteTypes.cmi nCicCoercDeclaration.cmi
  10 nCicCoercDeclaration.cmx : grafiteTypes.cmx nCicCoercDeclaration.cmi
  11 nCicCoercDeclaration.cmi : grafiteTypes.cmi