matita/components/ng_extraction/.depend

   1 common.cmo : ocamlExtractionTable.cmi mlutil.cmi coq.cmi common.cmi
   2 common.cmx : ocamlExtractionTable.cmx mlutil.cmx coq.cmx common.cmi
   3 common.cmi : ocamlExtractionTable.cmi coq.cmi
   4 coq.cmo : coq.cmi
   5 coq.cmx : coq.cmi
   6 coq.cmi :
   7 extraction.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \
   8     common.cmi extraction.cmi
   9 extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
  10     common.cmx extraction.cmi
  11 extraction.cmi : ocamlExtractionTable.cmi miniml.cmo
  12 miniml.cmo : coq.cmi
  13 miniml.cmx : coq.cmx
  14 mlutil.cmo : ocamlExtractionTable.cmi miniml.cmo coq.cmi mlutil.cmi
  15 mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
  16 mlutil.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi
  17 nCicExtraction.cmo : nCicExtraction.cmi
  18 nCicExtraction.cmx : nCicExtraction.cmi
  19 nCicExtraction.cmi :
  20 ocaml.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \
  21     common.cmi ocaml.cmi
  22 ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
  23     common.cmx ocaml.cmi
  24 ocaml.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi
  25 ocamlExtraction.cmo : ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \
  26     coq.cmi ocamlExtraction.cmi
  27 ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
  28     coq.cmx ocamlExtraction.cmi
  29 ocamlExtraction.cmi : ocamlExtractionTable.cmi
  30 ocamlExtractionTable.cmo : miniml.cmo coq.cmi ocamlExtractionTable.cmi
  31 ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi
  32 ocamlExtractionTable.cmi : miniml.cmo coq.cmi