helm/software/matita/nlibrary/depends.dot

   1 digraph g {
   2   "sets/sets.ma" [];
   3   "sets/sets.ma" -> "logic/equality.ma" [];
   4   "sets/setoids.ma" [];
   5   "sets/setoids.ma" -> "logic/connectives.ma" [];
   6   "sets/setoids.ma" -> "properties/relations.ma" [];
   7   "logic/equality.ma" [];
   8   "logic/equality.ma" -> "logic/connectives.ma" [];
   9   "logic/connectives.ma" [];
  10   "logic/connectives.ma" -> "logic/pts.ma" [];
  11   "algebra/magmas.ma" [];
  12   "algebra/magmas.ma" -> "sets/sets.ma" [];
  13   "properties/relations.ma" [];
  14   "properties/relations.ma" -> "logic/pts.ma" [];
  15   "logic/pts.ma" [];
  16
  17   }