--- a/doc-src/IsarImplementation/Thy/Logic.thy Wed Mar 04 10:47:35 2009 +0100 +++ b/doc-src/IsarImplementation/Thy/Logic.thy Thu Mar 05 02:20:06 2009 +0100 @@ -905,5 +905,5 @@ \end{description} *} - + end