doc-src/IsarImplementation/Thy/Base.thy

--- a/doc-src/IsarImplementation/Thy/Base.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Base.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -2,5 +2,5 @@
 imports Pure
 uses "../../antiquote_setup.ML"
 begin
-
+ 
 end