Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/algebra

[DIR] Parent Directory

[DIR] boolean  8.00Kb  March 24 1990
[DIR] category.theory  12.00Kb  March 24 1990
[DIR] groups  8.00Kb  March 24 1990
[DIR] henkin.models  12.00Kb  March 24 1990
[DIR] lattices  4.00Kb  March 24 1990
[ ] README  2.00Kb  March 24 1990
[DIR] rings  4.00Kb  March 24 1990