matita/components/ng_extraction/.depend

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