| changeset 20451 | 27ea2ba48fa3 |
| parent 18537 | 2681f9e34390 |
| child 20477 | e623b0e30541 |
--- a/doc-src/IsarImplementation/Thy/locale.thy Thu Aug 31 18:27:40 2006 +0200 +++ b/doc-src/IsarImplementation/Thy/locale.thy Thu Aug 31 22:55:49 2006 +0200 @@ -9,8 +9,18 @@ text FIXME -section {* Locales *} + +section {* Type-checking specifications *} text FIXME + +section {* Localized theory specifications *} + +text {* + FIXME + + \glossary{Local theory}{FIXME} +*} + end