doc-src/IsarImplementation/Thy/Proof.thy
changeset 30272 2d612824e642
parent 30270 61811c9224a6
child 31794 71af1fd6a5e4
--- a/doc-src/IsarImplementation/Thy/Proof.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Proof.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -326,5 +326,5 @@
 
   \end{description}
 *}
- 
+
 end