
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Integration.thy
--- a/doc-src/IsarImplementation/Thy/Integration.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Integration.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -421,5 +421,5 @@
 
   \end{description}
 *}
-
+ 
 end




