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