changeset 48522 | 708278fc2dff |
parent 11458 | 09a6c44a48ea |
--- a/doc-src/TutorialI/CTL/ctl.tex Thu Jul 26 17:32:28 2012 +0200 +++ b/doc-src/TutorialI/CTL/ctl.tex Thu Jul 26 18:55:42 2012 +0200 @@ -1,6 +1,6 @@ \index{model checking example|(}% \index{lfp@{\texttt{lfp}}!applications of|see{CTL}} -\input{CTL/document/Base.tex} -\input{CTL/document/PDL.tex} -\input{CTL/document/CTL.tex} +\input{document/Base.tex} +\input{document/PDL.tex} +\input{document/CTL.tex} \index{model checking example|)}