matita/components/ng_extraction/.depend.opt

   1 common.cmx : \
   2     ocamlExtractionTable.cmx \
   3     mlutil.cmx \
   4     coq.cmx \
   5     common.cmi
   6 common.cmi : \
   7     ocamlExtractionTable.cmi \
   8     coq.cmi
   9 coq.cmx : \
  10     coq.cmi
  11 coq.cmi :
  12 extraction.cmx : \
  13     ocamlExtractionTable.cmx \
  14     mlutil.cmx \
  15     miniml.cmx \
  16     coq.cmx \
  17     common.cmx \
  18     extraction.cmi
  19 extraction.cmi : \
  20     ocamlExtractionTable.cmi \
  21     miniml.cmx
  22 miniml.cmx : \
  23     coq.cmx
  24 mlutil.cmx : \
  25     ocamlExtractionTable.cmx \
  26     miniml.cmx \
  27     coq.cmx \
  28     mlutil.cmi
  29 mlutil.cmi : \
  30     ocamlExtractionTable.cmi \
  31     miniml.cmx \
  32     coq.cmi
  33 nCicExtraction.cmx : \
  34     nCicExtraction.cmi
  35 nCicExtraction.cmi :
  36 ocaml.cmx : \
  37     ocamlExtractionTable.cmx \
  38     mlutil.cmx \
  39     miniml.cmx \
  40     coq.cmx \
  41     common.cmx \
  42     ocaml.cmi
  43 ocaml.cmi : \
  44     ocamlExtractionTable.cmi \
  45     miniml.cmx \
  46     coq.cmi
  47 ocamlExtraction.cmx : \
  48     ocamlExtractionTable.cmx \
  49     ocaml.cmx \
  50     extraction.cmx \
  51     coq.cmx \
  52     ocamlExtraction.cmi
  53 ocamlExtraction.cmi : \
  54     ocamlExtractionTable.cmi
  55 ocamlExtractionTable.cmx : \
  56     miniml.cmx \
  57     coq.cmx \
  58     ocamlExtractionTable.cmi
  59 ocamlExtractionTable.cmi : \
  60     miniml.cmx \
  61     coq.cmi