doc-src/TutorialI/CTL/ROOT.ML
changeset 9958 67f2920862c7
child 10212 33fe2d701ddd
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/TutorialI/CTL/ROOT.ML	Thu Sep 14 17:46:00 2000 +0200
     1.3 @@ -0,0 +1,3 @@
     1.4 +use "../settings.ML";
     1.5 +use_thy "PDL";
     1.6 +use_thy "CTL";