| Thu, 15 Nov 2001 15:07:16 +0100 | ehmety | *** empty log message *** | changeset | files |
| Wed, 14 Nov 2001 23:22:43 +0100 | wenzelm | converted datatype examples moved from ZF/ex to ZF/Induct; | changeset | files |
| Wed, 14 Nov 2001 23:22:15 +0100 | wenzelm | document setup; | changeset | files |
| 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 |
| Wed, 14 Nov 2001 23:18:37 +0100 | wenzelm | fix path prefix; | changeset | files |
| Wed, 14 Nov 2001 23:18:13 +0100 | wenzelm | use proper intr_names (for required case_names); | changeset | files |
| Wed, 14 Nov 2001 23:16:05 +0100 | wenzelm | added Induct/Binary_Trees.thy, Induct/Datatypes.thy; | changeset | files |
| Wed, 14 Nov 2001 23:15:19 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 14 Nov 2001 23:14:59 +0100 | wenzelm | updated; | changeset | files |