matita/components/ng_extraction/.depend

   1 common.cmo : \
   2     ocamlExtractionTable.cmi \
   3     mlutil.cmi \
   4     coq.cmi \
   5     common.cmi
   6 common.cmx : \
   7     ocamlExtractionTable.cmx \
   8     mlutil.cmx \
   9     coq.cmx \
  10     common.cmi
  11 common.cmi : \
  12     ocamlExtractionTable.cmi \
  13     coq.cmi
  14 coq.cmo : \
  15     coq.cmi
  16 coq.cmx : \
  17     coq.cmi
  18 coq.cmi :
  19 extraction.cmo : \
  20     ocamlExtractionTable.cmi \
  21     mlutil.cmi \
  22     miniml.cmo \
  23     coq.cmi \
  24     common.cmi \
  25     extraction.cmi
  26 extraction.cmx : \
  27     ocamlExtractionTable.cmx \
  28     mlutil.cmx \
  29     miniml.cmx \
  30     coq.cmx \
  31     common.cmx \
  32     extraction.cmi
  33 extraction.cmi : \
  34     ocamlExtractionTable.cmi \
  35     miniml.cmo
  36 miniml.cmo : \
  37     coq.cmi
  38 miniml.cmx : \
  39     coq.cmx
  40 mlutil.cmo : \
  41     ocamlExtractionTable.cmi \
  42     miniml.cmo \
  43     coq.cmi \
  44     mlutil.cmi
  45 mlutil.cmx : \
  46     ocamlExtractionTable.cmx \
  47     miniml.cmx \
  48     coq.cmx \
  49     mlutil.cmi
  50 mlutil.cmi : \
  51     ocamlExtractionTable.cmi \
  52     miniml.cmo \
  53     coq.cmi
  54 nCicExtraction.cmo : \
  55     nCicExtraction.cmi
  56 nCicExtraction.cmx : \
  57     nCicExtraction.cmi
  58 nCicExtraction.cmi :
  59 ocaml.cmo : \
  60     ocamlExtractionTable.cmi \
  61     mlutil.cmi \
  62     miniml.cmo \
  63     coq.cmi \
  64     common.cmi \
  65     ocaml.cmi
  66 ocaml.cmx : \
  67     ocamlExtractionTable.cmx \
  68     mlutil.cmx \
  69     miniml.cmx \
  70     coq.cmx \
  71     common.cmx \
  72     ocaml.cmi
  73 ocaml.cmi : \
  74     ocamlExtractionTable.cmi \
  75     miniml.cmo \
  76     coq.cmi
  77 ocamlExtraction.cmo : \
  78     ocamlExtractionTable.cmi \
  79     ocaml.cmi \
  80     extraction.cmi \
  81     coq.cmi \
  82     ocamlExtraction.cmi
  83 ocamlExtraction.cmx : \
  84     ocamlExtractionTable.cmx \
  85     ocaml.cmx \
  86     extraction.cmx \
  87     coq.cmx \
  88     ocamlExtraction.cmi
  89 ocamlExtraction.cmi : \
  90     ocamlExtractionTable.cmi
  91 ocamlExtractionTable.cmo : \
  92     miniml.cmo \
  93     coq.cmi \
  94     ocamlExtractionTable.cmi
  95 ocamlExtractionTable.cmx : \
  96     miniml.cmx \
  97     coq.cmx \
  98     ocamlExtractionTable.cmi
  99 ocamlExtractionTable.cmi : \
 100     miniml.cmo \
 101     coq.cmi