Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/logic.problems

[DIR] Parent Directory

[DIR] morgan  4.00Kb  March 24 1990
[ ] README  1.92Kb  March 24 1990