| changeset 48966 | 6e15de7dd871 |
| parent 48965 | 1fead823c7c6 |
| child 48967 | 389e44f9e47a |
--- a/doc-src/TutorialI/CTL/ctl.tex Tue Aug 28 13:15:15 2012 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,6 +0,0 @@ -\index{model checking example|(}% -\index{lfp@{\texttt{lfp}}!applications of|see{CTL}} -\input{document/Base.tex} -\input{document/PDL.tex} -\input{document/CTL.tex} -\index{model checking example|)}