Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/set.theory/naive
Parent Directory
axioms.clauses
2.22Kb
March 24 1990
compl.desc
481.00b
March 24 1990
compl.ver1.clauses
2.19Kb
March 24 1990
compl.ver1.in
2.38Kb
March 24 1990
inters.desc
471.00b
March 24 1990
inters.ver1.clauses
2.19Kb
March 24 1990
inters.ver1.in
2.38Kb
March 24 1990
README
2.26Kb
March 24 1990
subset.desc
499.00b
March 24 1990
subset.ver1.clauses
2.20Kb
March 24 1990
subset.ver1.in
2.34Kb
March 24 1990
subset.ver1.out
4.06Kb
March 24 1990
union.desc
464.00b
March 24 1990
union.ver1.clauses
2.18Kb
March 24 1990
union.ver1.in
2.38Kb
March 24 1990