--- 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";
--- 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
-