Tue, 18 Dec 2007 16:26:46 +0100 | wenzelm | tuned proofs, document; | changeset | files |
Tue, 18 Dec 2007 14:37:00 +0100 | haftmann | switched from PreList to ATP_Linkup | changeset | files |
Tue, 18 Dec 2007 12:26:24 +0100 | berghofe | Renamed *.size to prod.size. | changeset | files |