--- a/doc-src/TutorialI/Misc/document/AdvancedInd.tex Sat Nov 04 18:44:34 2000 +0100
+++ b/doc-src/TutorialI/Misc/document/AdvancedInd.tex Sat Nov 04 18:54:22 2000 +0100
@@ -11,7 +11,8 @@
examples of induction.%
\end{isamarkuptext}%
%
-\isamarkupsubsection{Massaging the proposition}
+\isamarkupsubsection{Massaging the proposition%
+}
%
\begin{isamarkuptext}%
\label{sec:ind-var-in-prems}
@@ -122,7 +123,8 @@
the conclusion as well, under the \isa{{\isasymforall}}, again using \isa{{\isasymlongrightarrow}} as shown above.%
\end{isamarkuptext}%
%
-\isamarkupsubsection{Beyond structural and recursion induction}
+\isamarkupsubsection{Beyond structural and recursion induction%
+}
%
\begin{isamarkuptext}%
\label{sec:complete-ind}
@@ -240,7 +242,8 @@
\end{quote}%
\end{isamarkuptext}%
%
-\isamarkupsubsection{Derivation of new induction schemas}
+\isamarkupsubsection{Derivation of new induction schemas%
+}
%
\begin{isamarkuptext}%
\label{sec:derive-ind}