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

Parent Directory

algebra	4.00Kb	March 24 1990
analysis	4.00Kb	March 24 1990
circuits	4.00Kb	March 24 1990
geometry	8.00Kb	March 24 1990
logic.problems	4.00Kb	March 24 1990
miscellany	4.00Kb	March 24 1990
pelletier	8.00Kb	March 24 1990
prog.verification	4.00Kb	March 24 1990
puzzles	4.00Kb	March 24 1990
README	3.59Kb	March 24 1990
set.theory	4.00Kb	March 24 1990
topology	8.00Kb	March 24 1990