     1.1 --- a/doc-src/TutorialI/CTL/document/CTLind.tex	Wed Jan 29 11:02:08 2003 +0100
     1.2 +++ b/doc-src/TutorialI/CTL/document/CTLind.tex	Wed Jan 29 16:29:38 2003 +0100
     1.3 @@ -181,7 +181,6 @@
     1.4  \isacommand{by}{\isacharparenleft}auto\ elim{\isacharcolon}\ Avoid{\isacharunderscore}in{\isacharunderscore}lfp\ intro{\isacharcolon}\ Avoid{\isachardot}intros{\isacharparenright}\isanewline
     1.5  \isanewline
     1.6  \isamarkupfalse%
     1.7 -\isanewline
     1.8  \isamarkupfalse%
     1.9  \end{isabellebody}%
    1.10  %%% Local Variables:
changeset 13791	3b6ff7ceaf27
parent 13760	2188f247605c
child 14379	ea10a8c3e9cf