
diff -r 629f3a92863e -r 0ddd8028f98c doc-src/IsarImplementation/Thy/locale.thy
--- 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




