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

[DIR] Parent Directory

[DIR] carroll  4.00Kb  March 24 1990
[DIR] combinators  4.00Kb  March 24 1990
[DIR] gen.test  4.00Kb  March 24 1990
[DIR] miscell  4.00Kb  March 24 1990
[ ] README  2.17Kb  March 24 1990
[DIR] space.state  4.00Kb  March 24 1990
[DIR] truth.lies  4.00Kb  March 24 1990