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

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 03
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] lemma1b.desc  491.00b  March 24 1990  [find mirrors]
[ ] lemma1b.in  6.30Kb  March 24 1990  [find mirrors]
[ ] lemma1b.pf  8.37Kb  March 24 1990  [find mirrors]
[ ] lemma1c.clauses  1.75Kb  March 24 1990  [find mirrors]
[ ] lemma1c.desc  519.00b  March 24 1990  [find mirrors]
[ ] lemma1c.in  2.11Kb  March 24 1990  [find mirrors]
[ ] lemma1.clauses  1.55Kb  March 24 1990  [find mirrors]
[ ] lemma1c.pf  5.87Kb  March 24 1990  [find mirrors]
[ ] lemma1d.clauses  5.67Kb  March 24 1990  [find mirrors]
[ ] lemma1d.desc  523.00b  March 24 1990  [find mirrors]
[ ] lemma1.desc  570.00b  March 24 1990  [find mirrors]
[ ] lemma1d.in  6.38Kb  March 24 1990  [find mirrors]
[ ] lemma1d.pf  8.73Kb  March 24 1990  [find mirrors]
[ ] lemma1.in  1.73Kb  March 24 1990  [find mirrors]
[ ] lemma1.pf  1.86Kb  March 24 1990  [find mirrors]
[ ] lemma20.clauses  302.00b  March 24 1990  [find mirrors]
[ ] lemma20.desc  426.00b  March 24 1990  [find mirrors]
[ ] lemma21.clauses  311.00b  March 24 1990  [find mirrors]
[ ] lemma21.desc  427.00b  March 24 1990  [find mirrors]
[ ] lemma22.clauses  395.00b  March 24 1990  [find mirrors]
[ ] lemma22.desc  434.00b  March 24 1990  [find mirrors]
[ ] lemma23.clauses  408.00b  March 24 1990  [find mirrors]
[ ] lemma23.desc  479.00b  March 24 1990  [find mirrors]
[ ] lemma2.clauses  446.00b  March 24 1990  [find mirrors]
[ ] lemma2.desc  443.00b  March 24 1990  [find mirrors]
[ ] lemma3.clauses  476.00b  March 24 1990  [find mirrors]
[ ] lemma3.desc  544.00b  March 24 1990  [find mirrors]
[ ] lemma4.clauses  461.00b  March 24 1990  [find mirrors]
[ ] lemma4.desc  487.00b  March 24 1990  [find mirrors]
[ ] lemma5.clauses  466.00b  March 24 1990  [find mirrors]

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 03
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->