| changeset 30130 | e23770bc97c8 |
| parent 30129 | 419116f1157a |
| parent 30114 | 0726792e1726 |
| child 30131 | 6be1be402ef0 |
--- a/doc-src/IsarImplementation/Thy/locale.thy Thu Feb 26 08:44:44 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