helm/software/matita/nlibrary/depends.dot

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