| Tue, 25 Sep 2007 12:16:14 +0200 | haftmann | ML monad support | changeset | files |
| Tue, 25 Sep 2007 12:16:13 +0200 | haftmann | no cleverness for instance parameters | changeset | files |
| Tue, 25 Sep 2007 12:16:12 +0200 | haftmann | added conversions for natural numbers | changeset | files |
| Tue, 25 Sep 2007 12:16:08 +0200 | haftmann | datatype interpretators for size and datatype_realizer | changeset | files |
| Tue, 25 Sep 2007 10:27:43 +0200 | nipkow | hide successor | changeset | files |
| Mon, 24 Sep 2007 22:00:18 +0200 | nipkow | fixed haftmann bug | changeset | files |
| Mon, 24 Sep 2007 21:07:41 +0200 | wenzelm | added @{theory_ref}; | changeset | files |
| Mon, 24 Sep 2007 21:07:40 +0200 | wenzelm | added @{type_name}; | changeset | files |
| Mon, 24 Sep 2007 21:07:39 +0200 | wenzelm | added polymorphic_types; | changeset | files |
| Mon, 24 Sep 2007 21:07:38 +0200 | wenzelm | eliminated ProofContext.read_termTs; | changeset | files |
| Mon, 24 Sep 2007 21:07:36 +0200 | wenzelm | more ML antiqs; | changeset | files |
| Mon, 24 Sep 2007 19:34:55 +0200 | nipkow | localized { .. } (but only a few thms) | changeset | files |