helm/software/matita/nlibrary/depends.dot

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