Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/set.theory/naive

[DIR] Parent Directory

[ ] axioms.clauses  2.22Kb  March 24 1990  [find mirrors]
[ ] compl.desc  481.00b  March 24 1990  [find mirrors]
[ ] compl.ver1.clauses  2.19Kb  March 24 1990  [find mirrors]
[ ] compl.ver1.in  2.38Kb  March 24 1990  [find mirrors]
[ ] inters.desc  471.00b  March 24 1990  [find mirrors]
[ ] inters.ver1.clauses  2.19Kb  March 24 1990  [find mirrors]
[ ] inters.ver1.in  2.38Kb  March 24 1990  [find mirrors]
[ ] README  2.26Kb  March 24 1990  [find mirrors]
[ ] subset.desc  499.00b  March 24 1990  [find mirrors]
[ ] subset.ver1.clauses  2.20Kb  March 24 1990  [find mirrors]
[ ] subset.ver1.in  2.34Kb  March 24 1990  [find mirrors]
[ ] subset.ver1.out  4.06Kb  March 24 1990  [find mirrors]
[ ] union.desc  464.00b  March 24 1990  [find mirrors]
[ ] union.ver1.clauses  2.18Kb  March 24 1990  [find mirrors]
[ ] union.ver1.in  2.38Kb  March 24 1990  [find mirrors]