helm/software/matita/nlibrary/depends.dot

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