| Tue, 13 Nov 2001 22:36:38 +0100 | wenzelm | updated; | changeset | files |
| Tue, 13 Nov 2001 22:25:59 +0100 | wenzelm | * ZF: new-style theory commands 'inductive', 'inductive_cases', and | changeset | files |
| Tue, 13 Nov 2001 22:24:28 +0100 | wenzelm | ZF specific keywords; | changeset | files |
| Tue, 13 Nov 2001 22:20:51 +0100 | wenzelm | rearranged inductive package for Isar; | changeset | files |
| Tue, 13 Nov 2001 22:20:15 +0100 | wenzelm | Generic inductive cases facility for (co)inductive definitions. | changeset | files |
| Tue, 13 Nov 2001 22:19:37 +0100 | wenzelm | converted; | changeset | files |
| Tue, 13 Nov 2001 22:18:46 +0100 | wenzelm | tuned; | changeset | files |