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

[DIR] Parent Directory

[DIR] godel  4.00Kb  March 24 1990
[DIR] naive  4.00Kb  March 24 1990
[ ] README  1.93Kb  March 24 1990