| Wed, 14 Nov 2001 23:21:05 +0100 | wenzelm | removed BT, Data, Enum (see ZF/Induct); | changeset | files |
| Wed, 14 Nov 2001 23:20:41 +0100 | wenzelm | case_names; | changeset | files |
| Wed, 14 Nov 2001 23:20:14 +0100 | wenzelm | added Datatypes, Binary_Trees (from ZF/ex); | changeset | files |
| Wed, 14 Nov 2001 23:19:09 +0100 | wenzelm | Isar attribute and method setup; | changeset | files |