changeset 10217 | e61e7e1eacaf |
parent 10189 | 865918597b63 |
child 10420 | ef006735bee8 |
--- a/doc-src/TutorialI/Advanced/advanced.tex Fri Oct 13 11:15:56 2000 +0200 +++ b/doc-src/TutorialI/Advanced/advanced.tex Fri Oct 13 18:02:08 2000 +0200 @@ -43,4 +43,5 @@ \label{sec:advanced-ind} \index{induction|(} \input{Misc/document/AdvancedInd.tex} +\input{CTL/document/CTLind.tex} \index{induction|)}