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