changeset 30105 | 37f47ea6fed1 |
parent 30104 | b094999e1d33 |
parent 30101 | 5c6efec476ae |
child 30106 | 351fc2f8493d |
--- a/doc-src/IsarImplementation/Thy/locale.thy Thu Feb 26 06:39:06 2009 -0800 +++ /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