# HG changeset patch
# User nipkow
# Date 1025533840 -7200
# Node ID b698804db01ae99abb551f3ab15ee3edb6e2dda5
# Parent  203c5f789c0906eec8aa1718e84481e320730c4e
*** empty log message ***

diff -r 203c5f789c09 -r b698804db01a 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";
diff -r 203c5f789c09 -r b698804db01a doc-src/TutorialI/OverviewMakefile
--- a/doc-src/TutorialI/OverviewMakefile	Mon Jul 01 15:41:07 2002 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,30 +0,0 @@
-## targets
-
-default: Overview
-images: 
-test: Overview
-
-all: images test
-
-
-## global settings
-
-SRC = $(ISABELLE_HOME)/src
-OUT = $(ISABELLE_OUTPUT)
-LOG = $(OUT)/log
-USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true
-
-
-## Overview
-
-Overview: $(LOG)/HOL-Overview.gz
-
-$(LOG)/HOL-Overview.gz: Overview/ROOT.ML Overview/document/root.tex Overview/*.thy
-	@$(USEDIR) HOL Overview
-
-
-## clean
-
-clean:
-	@rm -f $(LOG)/HOL-Overview.gz
-