doc-src/IsarImplementation/Thy/Logic.thy

--- a/doc-src/IsarImplementation/Thy/Logic.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Logic.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -905,5 +905,5 @@
 
   \end{description}
 *}
- 
+
 end