--- a/doc-src/TutorialI/CTL/ROOT.ML Thu Oct 12 18:09:06 2000 +0200 +++ b/doc-src/TutorialI/CTL/ROOT.ML Thu Oct 12 18:38:23 2000 +0200 @@ -1,3 +1,4 @@ use "../settings.ML"; use_thy "PDL"; use_thy "CTL"; +use_thy "CTLind";