--- a/doc-src/IsarRef/Thy/document/Synopsis.tex Thu Jun 02 14:08:46 2011 +0200
+++ b/doc-src/IsarRef/Thy/document/Synopsis.tex Thu Jun 02 14:11:24 2011 +0200
@@ -843,7 +843,7 @@
\isanewline
\isacommand{end}\isamarkupfalse%
%
-\isamarkupsection{Structured induction proofs%
+\isamarkupsection{Induction%
}
\isamarkuptrue%
%
@@ -1273,7 +1273,7 @@
\endisadelimproof
\isacommand{end}\isamarkupfalse%
%
-\isamarkupsection{Structured Natural Deduction \label{sec:natural-deduction-synopsis}%
+\isamarkupsection{Natural Deduction \label{sec:natural-deduction-synopsis}%
}
\isamarkuptrue%
%