matita/matita/nlibrary/depends.dot

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