helm/software/matita/nlibrary/depends.dot

   1 digraph g {
   2   "arithmetics/R.ma" [];
   3   "arithmetics/R.ma" -> "arithmetics/nat.ma" [];
   4   "arithmetics/R.ma" -> "datatypes/pairs.ma" [];
   5   "arithmetics/R.ma" -> "datatypes/sums.ma" [];
   6   "arithmetics/R.ma" -> "topology/igft.ma" [];
   7   "overlap/o-algebra.ma" [];
   8   "overlap/o-algebra.ma" -> "sets/categories2.ma" [];
   9   "algebra/bool.ma" [];
  10   "algebra/bool.ma" -> "logic/connectives.ma" [];
  11   "algebra/abelian_magmas.ma" [];
  12   "algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
  13   "basics/functions.ma" [];
  14   "basics/functions.ma" -> "Plogic/connectives.ma" [];
  15   "basics/functions.ma" -> "Plogic/equality.ma" [];
  16   "Plogic/connectives.ma" [];
  17   "Plogic/connectives.ma" -> "Plogic/equality.ma" [];
  18   "arithmetics/nat.ma" [];
  19   "arithmetics/nat.ma" -> "basics/bool.ma" [];
  20   "arithmetics/nat.ma" -> "basics/eq.ma" [];
  21   "arithmetics/nat.ma" -> "basics/functions.ma" [];
  22   "arithmetics/nat.ma" -> "hints_declaration.ma" [];
  23   "datatypes/bool.ma" [];
  24   "datatypes/bool.ma" -> "logic/pts.ma" [];
  25   "datatypes/sums.ma" [];
  26   "datatypes/sums.ma" -> "datatypes/pairs.ma" [];
  27   "logic/destruct_bb.ma" [];
  28   "logic/destruct_bb.ma" -> "logic/equality.ma" [];
  29   "logic/equality.ma" [];
  30   "logic/equality.ma" -> "logic/connectives.ma" [];
  31   "logic/equality.ma" -> "properties/relations.ma" [];
  32   "sets/partitions.ma" [];
  33   "sets/partitions.ma" -> "datatypes/pairs.ma" [];
  34   "sets/partitions.ma" -> "nat/compare.ma" [];
  35   "sets/partitions.ma" -> "nat/minus.ma" [];
  36   "sets/partitions.ma" -> "nat/plus.ma" [];
  37   "sets/partitions.ma" -> "sets/sets.ma" [];
  38   "logic/cprop.ma" [];
  39   "logic/cprop.ma" -> "hints_declaration.ma" [];
  40   "logic/cprop.ma" -> "sets/setoids1.ma" [];
  41   "basics/bool.ma" [];
  42   "basics/bool.ma" -> "basics/eq.ma" [];
  43   "basics/bool.ma" -> "basics/functions.ma" [];
  44   "topology/igft.ma" [];
  45   "topology/igft.ma" -> "logic/equality.ma" [];
  46   "topology/igft.ma" -> "sets/sets.ma" [];
  47   "nat/minus.ma" [];
  48   "nat/minus.ma" -> "nat/order.ma" [];
  49   "algebra/magmas.ma" [];
  50   "algebra/magmas.ma" -> "sets/sets.ma" [];
  51   "hints_declaration.ma" [];
  52   "hints_declaration.ma" -> "logic/pts.ma" [];
  53   "arithmetics/Z.ma" [];
  54   "arithmetics/Z.ma" -> "arithmetics/nat.ma" [];
  55   "arithmetics/compare.ma" [];
  56   "arithmetics/compare.ma" -> "arithmetics/nat.ma" [];
  57   "Plogic/equality.ma" [];
  58   "Plogic/equality.ma" -> "logic/pts.ma" [];
  59   "properties/relations1.ma" [];
  60   "properties/relations1.ma" -> "logic/pts.ma" [];
  61   "TPTP.ma" [];
  62   "TPTP.ma" -> "basics/eq.ma" [];
  63   "PTS/gpts.ma" [];
  64   "PTS/gpts.ma" -> "PTS/subst.ma" [];
  65   "datatypes/list.ma" [];
  66   "datatypes/list.ma" -> "arithmetics/nat.ma" [];
  67   "nat/compare.ma" [];
  68   "nat/compare.ma" -> "datatypes/bool.ma" [];
  69   "nat/compare.ma" -> "nat/order.ma" [];
  70   "algebra/unital_magmas.ma" [];
  71   "algebra/unital_magmas.ma" -> "algebra/magmas.ma" [];
  72   "sets/categories.ma" [];
  73   "sets/categories.ma" -> "sets/sets.ma" [];
  74   "properties/relations2.ma" [];
  75   "properties/relations2.ma" -> "logic/pts.ma" [];
  76   "nat/nat.ma" [];
  77   "nat/nat.ma" -> "hints_declaration.ma" [];
  78   "nat/nat.ma" -> "logic/equality.ma" [];
  79   "nat/nat.ma" -> "sets/setoids.ma" [];
  80   "logic/connectives.ma" [];
  81   "logic/connectives.ma" -> "logic/pts.ma" [];
  82   "basics/list.ma" [];
  83   "basics/list.ma" -> "basics/bool.ma" [];
  84   "basics/list.ma" -> "basics/eq.ma" [];
  85   "basics/relations.ma" [];
  86   "basics/relations.ma" -> "Plogic/connectives.ma" [];
  87   "basics/list2.ma" [];
  88   "basics/list2.ma" -> "arithmetics/nat.ma" [];
  89   "basics/list2.ma" -> "basics/list.ma" [];
  90   "topology/igft-setoid.ma" [];
  91   "topology/igft-setoid.ma" -> "sets/sets.ma" [];
  92   "sets/categories2.ma" [];
  93   "sets/categories2.ma" -> "sets/categories.ma" [];
  94   "sets/categories2.ma" -> "sets/setoids2.ma" [];
  95   "sets/categories2.ma" -> "sets/sets.ma" [];
  96   "sets/sets.ma" [];
  97   "sets/sets.ma" -> "hints_declaration.ma" [];
  98   "sets/sets.ma" -> "logic/connectives.ma" [];
  99   "sets/sets.ma" -> "logic/cprop.ma" [];
 100   "sets/sets.ma" -> "properties/relations1.ma" [];
 101   "sets/sets.ma" -> "sets/setoids1.ma" [];
 102   "datatypes/pairs.ma" [];
 103   "datatypes/pairs.ma" -> "logic/pts.ma" [];
 104   "nat/plus.ma" [];
 105   "nat/plus.ma" -> "algebra/abelian_magmas.ma" [];
 106   "nat/plus.ma" -> "algebra/unital_magmas.ma" [];
 107   "nat/plus.ma" -> "nat/big_ops.ma" [];
 108   "nat/order.ma" [];
 109   "nat/order.ma" -> "nat/nat.ma" [];
 110   "nat/order.ma" -> "sets/sets.ma" [];
 111   "logic/pts.ma" [];
 112   "topology/cantor.ma" [];
 113   "topology/cantor.ma" -> "nat/nat.ma" [];
 114   "topology/cantor.ma" -> "topology/igft.ma" [];
 115   "sets/setoids1.ma" [];
 116   "sets/setoids1.ma" -> "hints_declaration.ma" [];
 117   "sets/setoids1.ma" -> "properties/relations1.ma" [];
 118   "sets/setoids1.ma" -> "sets/setoids.ma" [];
 119   "sets/setoids2.ma" [];
 120   "sets/setoids2.ma" -> "properties/relations2.ma" [];
 121   "sets/setoids2.ma" -> "sets/setoids1.ma" [];
 122   "nat/big_ops.ma" [];
 123   "nat/big_ops.ma" -> "algebra/magmas.ma" [];
 124   "nat/big_ops.ma" -> "nat/order.ma" [];
 125   "topology/igft2.ma" [];
 126   "topology/igft2.ma" -> "arithmetics/nat.ma" [];
 127   "topology/igft2.ma" -> "topology/igft.ma" [];
 128   "PTS/subst.ma" [];
 129   "PTS/subst.ma" -> "basics/list2.ma" [];
 130   "topology/igft3.ma" [];
 131   "topology/igft3.ma" -> "arithmetics/nat.ma" [];
 132   "topology/igft3.ma" -> "datatypes/bool.ma" [];
 133   "topology/igft3.ma" -> "topology/igft.ma" [];
 134   "properties/relations.ma" [];
 135   "properties/relations.ma" -> "logic/pts.ma" [];
 136   "basics/eq.ma" [];
 137   "basics/eq.ma" -> "basics/relations.ma" [];
 138   "topology/igft4.ma" [];
 139   "topology/igft4.ma" -> "arithmetics/nat.ma" [];
 140   "topology/igft4.ma" -> "datatypes/bool.ma" [];
 141   "topology/igft4.ma" -> "topology/igft.ma" [];
 142   "sets/setoids.ma" [];
 143   "sets/setoids.ma" -> "hints_declaration.ma" [];
 144   "sets/setoids.ma" -> "logic/connectives.ma" [];
 145   "sets/setoids.ma" -> "properties/relations.ma" [];
 146
 147   }