matita/components/grafite_engine/.depend

   1 grafiteEngine.cmo : \
   2     nCicCoercDeclaration.cmi \
   3     grafiteTypes.cmi \
   4     grafiteEngine.cmi
   5 grafiteEngine.cmx : \
   6     nCicCoercDeclaration.cmx \
   7     grafiteTypes.cmx \
   8     grafiteEngine.cmi
   9 grafiteEngine.cmi : \
  10     grafiteTypes.cmi
  11 grafiteTypes.cmo : \
  12     grafiteTypes.cmi
  13 grafiteTypes.cmx : \
  14     grafiteTypes.cmi
  15 grafiteTypes.cmi :
  16 nCicCoercDeclaration.cmo : \
  17     grafiteTypes.cmi \
  18     nCicCoercDeclaration.cmi
  19 nCicCoercDeclaration.cmx : \
  20     grafiteTypes.cmx \
  21     nCicCoercDeclaration.cmi
  22 nCicCoercDeclaration.cmi : \
  23     grafiteTypes.cmi