--- a/doc-src/TutorialI/Misc/document/AdvancedInd.tex Mon Nov 06 11:32:23 2000 +0100
+++ b/doc-src/TutorialI/Misc/document/AdvancedInd.tex Mon Nov 06 16:41:39 2000 +0100
@@ -12,7 +12,8 @@
with an extended example of induction (\S\ref{sec:CTL-revisited}).%
\end{isamarkuptext}%
%
-\isamarkupsubsection{Massaging the proposition}
+\isamarkupsubsection{Massaging the proposition%
+}
%
\begin{isamarkuptext}%
\label{sec:ind-var-in-prems}
@@ -123,7 +124,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}
@@ -241,7 +243,8 @@
\end{quote}%
\end{isamarkuptext}%
%
-\isamarkupsubsection{Derivation of new induction schemas}
+\isamarkupsubsection{Derivation of new induction schemas%
+}
%
\begin{isamarkuptext}%
\label{sec:derive-ind}