helm/software/matita/nlibrary/depends.dot

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