matita/components/grafite_engine/.depend.opt

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