matita/components/ng_extraction/.depend

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