| Thu, 03 Jan 2002 17:57:04 +0100 | wenzelm | Isar version; | changeset | files |
| Thu, 03 Jan 2002 17:56:15 +0100 | wenzelm | tuned msg; | changeset | files |
| Thu, 03 Jan 2002 17:55:46 +0100 | wenzelm | \CONSTDEFS; | changeset | files |
| Thu, 03 Jan 2002 17:50:53 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 03 Jan 2002 17:48:02 +0100 | wenzelm | next round of updates; | changeset | files |
| Thu, 03 Jan 2002 17:01:59 +0100 | paulson | Some new theorems for ordinals | changeset | files |
| Wed, 02 Jan 2002 21:54:45 +0100 | wenzelm | tuned; | changeset | files |