Index of /pub/ATP_problems/analysis/limits/


../
README                                             24-Mar-1990 16:46    1994
axioms.clauses                                     24-Mar-1990 16:46    1657
prob1.desc                                         24-Mar-1990 16:46    1077
prob1.ver1.clauses                                 24-Mar-1990 16:46    1286
prob1.ver1.in                                      24-Mar-1990 16:46    1377
prob1.ver1.out                                     24-Mar-1990 16:46     68K
prob1.ver2.clauses                                 24-Mar-1990 16:46    2081
prob1.ver2.in                                      24-Mar-1990 16:46    2182
prob1.ver2.out                                     24-Mar-1990 16:46     69K
prob2.desc                                         24-Mar-1990 16:46     640
prob2.ver1.clauses                                 24-Mar-1990 16:46    1191
prob2.ver1.in                                      24-Mar-1990 16:46    1281
prob2.ver1.out                                     24-Mar-1990 16:46     68K