--- a/doc-src/TutorialI/CTL/document/PDL.tex Thu Nov 09 11:58:43 2006 +0100
+++ b/doc-src/TutorialI/CTL/document/PDL.tex Thu Nov 09 11:58:45 2006 +0100
@@ -155,7 +155,7 @@
\end{isamarkuptxt}%
\isamarkuptrue%
\ \isacommand{apply}\isamarkupfalse%
-{\isacharparenleft}erule\ lfp{\isacharunderscore}induct{\isacharparenright}\isanewline
+{\isacharparenleft}erule\ lfp{\isacharunderscore}induct{\isacharunderscore}set{\isacharparenright}\isanewline
\ \ \isacommand{apply}\isamarkupfalse%
{\isacharparenleft}rule\ mono{\isacharunderscore}ef{\isacharparenright}\isanewline
\ \isacommand{apply}\isamarkupfalse%