| changeset 30152 | 0ddd8028f98c |
| parent 30151 | 629f3a92863e |
| parent 30148 | 5d04b67a866e |
| child 30153 | 051d3825a15d |
--- a/doc-src/IsarImplementation/Thy/locale.thy Thu Feb 26 10:13:43 2009 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,26 +0,0 @@ - -(* $Id$ *) - -theory "locale" imports base begin - -chapter {* Structured specifications *} - -section {* Specification elements *} - -text FIXME - - -section {* Type-inference *} - -text FIXME - - -section {* Local theories *} - -text {* - FIXME - - \glossary{Local theory}{FIXME} -*} - -end