Mon, 13 May 2002 13:22:15 +0200 | paulson | quotes around types | changeset | files |
Mon, 13 May 2002 13:22:01 +0200 | paulson | Deleting two simprules saves 21 seconds! | changeset | files |
Mon, 13 May 2002 11:05:27 +0200 | wenzelm | tuned document; | changeset | files |
Mon, 13 May 2002 10:40:59 +0200 | wenzelm | updated X-Symbol URL; | changeset | files |
Mon, 13 May 2002 09:02:13 +0200 | paulson | converted Order.ML OrderType.ML OrderArith.ML to Isar format | changeset | files |
Sat, 11 May 2002 20:40:31 +0200 | kleing | fix for change in nat number simplification | changeset | files |