doc-src/TutorialI/Overview/LNCS/ROOT.ML

--- a/doc-src/TutorialI/Overview/LNCS/ROOT.ML	Mon Jul 01 15:41:07 2002 +0200
+++ b/doc-src/TutorialI/Overview/LNCS/ROOT.ML	Mon Jul 01 16:30:40 2002 +0200
@@ -4,4 +4,3 @@
 use_thy "Rules";
 use_thy "Sets";
 use_thy "Ind";
-use_thy "Isar";