     1.1 --- a/doc-src/TutorialI/CTL/document/CTLind.tex	Wed Dec 18 12:54:57 2002 +0100
     1.2 +++ b/doc-src/TutorialI/CTL/document/CTLind.tex	Thu Dec 19 10:48:13 2002 +0100
     1.3 @@ -181,6 +181,7 @@
     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 13760	2188f247605c
parent 13623	c2b235e60f8b
child 13791	3b6ff7ceaf27