doc-src/TutorialI/Misc/document/case_exprs.tex

--- a/doc-src/TutorialI/Misc/document/case_exprs.tex	Thu Jul 26 16:43:02 2001 +0200
+++ b/doc-src/TutorialI/Misc/document/case_exprs.tex	Thu Jul 26 18:23:38 2001 +0200
@@ -80,7 +80,6 @@
 simplification, so no special methods are provided for them.
 
 \begin{warn}
- 
   Induction is only allowed on free (or \isasymAnd-bound) variables that
   should not occur among the assumptions of the subgoal; see
   \S\ref{sec:ind-var-in-prems} for details. Case distinction