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