--- a/doc-src/IsarImplementation/Thy/document/proof.tex Tue Sep 12 17:23:34 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/proof.tex Tue Sep 12 17:45:58 2006 +0200
@@ -278,7 +278,7 @@
%
\endisadelimmlref
%
-\isamarkupsection{Conclusions%
+\isamarkupsection{Results%
}
\isamarkuptrue%
%