| Wed, 02 Nov 2005 15:05:22 +0100 | berghofe | Added code for proving that new datatype has finite support. | changeset | files |
| Wed, 02 Nov 2005 14:48:55 +0100 | wenzelm | removed unused modify_typargs, map_typargs, fold_typargs; | changeset | files |
| Wed, 02 Nov 2005 14:47:01 +0100 | wenzelm | added Isar.state/exn; | changeset | files |
| Wed, 02 Nov 2005 14:47:00 +0100 | wenzelm | Isar.loop; | changeset | files |