| Tue, 07 Nov 2006 19:39:53 +0100 | wenzelm | removed obsolete print_state_hook; | changeset | files |
| Tue, 07 Nov 2006 19:39:52 +0100 | wenzelm | theorem statements: incorporate Obtain.statement, tuned; | changeset | files |
| Tue, 07 Nov 2006 19:39:50 +0100 | wenzelm | moved statement to specification.ML; | changeset | files |
| Tue, 07 Nov 2006 19:39:48 +0100 | wenzelm | removed obsolete Locale.smart_theorem; | changeset | files |
| Tue, 07 Nov 2006 19:39:46 +0100 | wenzelm | avoid handling of arbitrary exceptions; | changeset | files |
| Tue, 07 Nov 2006 18:25:48 +0100 | schirmer | field-update in records is generalised to take a function on the field | changeset | files |
| Tue, 07 Nov 2006 18:14:53 +0100 | schirmer | exported intro_locales_tac | changeset | files |