| 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 |