
diff -r 11ba04d15f36 -r 58223c67fd8b doc-src/TutorialI/CTL/document/PDL.tex
--- 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%




