| Wed, 02 Nov 2005 16:37:39 +0100 | berghofe | Moved atom stuff to new file nominal_atoms.ML | changeset | files |
| Wed, 02 Nov 2005 15:31:12 +0100 | urbanc | - completed the list of thms for supp_atm | changeset | files |
| 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 |
| Wed, 02 Nov 2005 14:46:58 +0100 | wenzelm | moved consts declarations to consts.ML; | changeset | files |