| 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 |
| Tue, 07 Nov 2006 16:21:54 +0100 | paulson | Proper theorem names at last, no fakes!! | changeset | files |
| Tue, 07 Nov 2006 15:07:02 +0100 | haftmann | some corrections | changeset | files |
| Tue, 07 Nov 2006 14:49:09 +0100 | haftmann | adjusted title | changeset | files |