
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Local_Theory.thy
--- a/doc-src/IsarImplementation/Thy/Local_Theory.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Local_Theory.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -164,5 +164,5 @@
 section {* Morphisms and declarations *}
 
 text FIXME
- 
+
 end




