--- 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