| Thu, 10 Nov 2005 00:36:26 +0100 | urbanc | called the induction principle "unsafe" instead of "test". | changeset | files |
| Wed, 09 Nov 2005 18:01:33 +0100 | paulson | Skolemization by inference, but not quite finished | changeset | files |
| Wed, 09 Nov 2005 16:26:55 +0100 | wenzelm | Explicit data structures for some Isar language elements. | changeset | files |