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

[DIR] Parent Directory

[ ] axioms.clauses  9.01Kb  March 24 1990
[ ] compl.desc  783.00b  March 24 1990
[ ] compl.ver1.clauses  9.20Kb  March 24 1990
[ ] compl.ver1.in  9.64Kb  March 24 1990
[ ] compl.ver2.clauses  3.03Kb  March 24 1990
[ ] compl.ver2.in  3.22Kb  March 24 1990
[ ] inters.desc  778.00b  March 24 1990
[ ] inters.ver1.clauses  9.20Kb  March 24 1990
[ ] inters.ver1.in  9.64Kb  March 24 1990
[ ] inters.ver2.clauses  2.86Kb  March 24 1990
[ ] inters.ver2.in  3.26Kb  March 24 1990
[ ] README  2.55Kb  March 24 1990
[ ] subset.desc  828.00b  March 24 1990
[ ] subset.ver1.clauses  9.24Kb  March 24 1990
[ ] subset.ver1.in  9.68Kb  March 24 1990
[ ] subset.ver2.clauses  3.38Kb  March 24 1990
[ ] subset.ver2.in  3.66Kb  March 24 1990
[ ] union.desc  766.00b  March 24 1990
[ ] union.ver1.clauses  9.19Kb  March 24 1990
[ ] union.ver1.in  9.63Kb  March 24 1990
[ ] union.ver2.clauses  3.21Kb  March 24 1990
[ ] union.ver2.in  3.49Kb  March 24 1990