diff -r 91e229959d4c -r 3ba51a3acff0 doc-src/IsarRef/Thy/document/Synopsis.tex
--- 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%
 %