| Mon, 10 Dec 2007 11:24:09 +0100 | haftmann | switched import from Main to PreList | changeset | files |
| Mon, 10 Dec 2007 11:24:08 +0100 | haftmann | explicit import of theory ATP_Linkup | changeset | files |
| Mon, 10 Dec 2007 11:24:06 +0100 | haftmann | explicit import of theory Main | changeset | files |
| Mon, 10 Dec 2007 11:24:03 +0100 | haftmann | swtiched ATP_Linkup and PreList in theory hierarchy | changeset | files |
| Sun, 09 Dec 2007 21:44:50 +0100 | wenzelm | ML_OPTIONS="-H 1500" -- potentially works around GC core dump; | changeset | files |
| Sun, 09 Dec 2007 20:59:53 +0100 | krauss | added Id, some cleanup | changeset | files |
| Sat, 08 Dec 2007 22:28:27 +0100 | wenzelm | tuned message; | changeset | files |