| 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 |