helm/software/matita/nlibrary/depends.dot

   1 digraph g {
   2   "algebra/bool.ma" [];
   3   "algebra/bool.ma" -> "logic/equality.ma" [];
   4   "algebra/abelian_magmas.ma" [];
   5   "algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
   6   "logic/destruct_bb.ma" [];
   7   "logic/destruct_bb.ma" -> "logic/equality.ma" [];
   8   "datatypes/bool.ma" [];
   9   "datatypes/bool.ma" -> "logic/pts.ma" [];
  10   "logic/equality.ma" [];
  11   "logic/equality.ma" -> "logic/connectives.ma" [];
  12   "logic/equality.ma" -> "properties/relations.ma" [];
  13   "sets/partitions.ma" [];
  14   "sets/partitions.ma" -> "datatypes/pairs.ma" [];
  15   "sets/partitions.ma" -> "nat/compare.ma" [];
  16   "sets/partitions.ma" -> "nat/minus.ma" [];
  17   "sets/partitions.ma" -> "nat/plus.ma" [];
  18   "sets/partitions.ma" -> "sets/sets.ma" [];
  19   "logic/cprop.ma" [];
  20   "logic/cprop.ma" -> "hints_declaration.ma" [];
  21   "logic/cprop.ma" -> "sets/setoids1.ma" [];
  22   "topology/igft.ma" [];
  23   "topology/igft.ma" -> "logic/equality.ma" [];
  24   "topology/igft.ma" -> "sets/sets.ma" [];
  25   "nat/minus.ma" [];
  26   "nat/minus.ma" -> "nat/order.ma" [];
  27   "algebra/magmas.ma" [];
  28   "algebra/magmas.ma" -> "sets/sets.ma" [];
  29   "hints_declaration.ma" [];
  30   "hints_declaration.ma" -> "logic/pts.ma" [];
  31   "properties/relations1.ma" [];
  32   "properties/relations1.ma" -> "logic/pts.ma" [];
  33   "algebra/unital_magmas.ma" [];
  34   "algebra/unital_magmas.ma" -> "algebra/magmas.ma" [];
  35   "nat/compare.ma" [];
  36   "nat/compare.ma" -> "datatypes/bool.ma" [];
  37   "nat/compare.ma" -> "nat/order.ma" [];
  38   "logic/connectives.ma" [];
  39   "logic/connectives.ma" -> "logic/pts.ma" [];
  40   "nat/nat.ma" [];
  41   "nat/nat.ma" -> "hints_declaration.ma" [];
  42   "nat/nat.ma" -> "logic/equality.ma" [];
  43   "nat/nat.ma" -> "sets/setoids.ma" [];
  44   "topology/igft-setoid.ma" [];
  45   "topology/igft-setoid.ma" -> "sets/sets.ma" [];
  46   "sets/sets.ma" [];
  47   "sets/sets.ma" -> "hints_declaration.ma" [];
  48   "sets/sets.ma" -> "logic/connectives.ma" [];
  49   "sets/sets.ma" -> "logic/cprop.ma" [];
  50   "sets/sets.ma" -> "properties/relations1.ma" [];
  51   "sets/sets.ma" -> "sets/setoids1.ma" [];
  52   "logic/pts.ma" [];
  53   "nat/order.ma" [];
  54   "nat/order.ma" -> "nat/nat.ma" [];
  55   "nat/order.ma" -> "sets/sets.ma" [];
  56   "nat/plus.ma" [];
  57   "nat/plus.ma" -> "algebra/abelian_magmas.ma" [];
  58   "nat/plus.ma" -> "algebra/unital_magmas.ma" [];
  59   "nat/plus.ma" -> "nat/big_ops.ma" [];
  60   "datatypes/pairs.ma" [];
  61   "datatypes/pairs.ma" -> "logic/pts.ma" [];
  62   "topology/cantor.ma" [];
  63   "topology/cantor.ma" -> "nat/nat.ma" [];
  64   "topology/cantor.ma" -> "topology/igft.ma" [];
  65   "sets/setoids1.ma" [];
  66   "sets/setoids1.ma" -> "properties/relations1.ma" [];
  67   "sets/setoids1.ma" -> "sets/setoids.ma" [];
  68   "nat/big_ops.ma" [];
  69   "nat/big_ops.ma" -> "algebra/magmas.ma" [];
  70   "nat/big_ops.ma" -> "nat/order.ma" [];
  71   "topology/igft2.ma" [];
  72   "topology/igft2.ma" -> "topology/igft.ma" [];
  73   "logic/markov.ma" [];
  74   "logic/markov.ma" -> "nat/order.ma" [];
  75   "properties/relations.ma" [];
  76   "properties/relations.ma" -> "logic/pts.ma" [];
  77   "sets/setoids.ma" [];
  78   "sets/setoids.ma" -> "logic/connectives.ma" [];
  79   "sets/setoids.ma" -> "properties/relations.ma" [];
  80
  81   }