Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
replaced Acc.thy by Advanced.thy
authorpaulson
Fri, 03 Nov 2000 10:23:24 +0100
changeset 10368 f7e8abd8ea15
parent 10367 12490253d025
child 10369 5f5c1c0aba1c
replaced Acc.thy by Advanced.thy
doc-src/TutorialI/Inductive/ROOT.ML file | annotate | diff | comparison | revisions
doc-src/TutorialI/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/Inductive/ROOT.ML	Thu Nov 02 15:45:32 2000 +0100
+++ b/doc-src/TutorialI/Inductive/ROOT.ML	Fri Nov 03 10:23:24 2000 +0100
@@ -2,5 +2,5 @@
 use_thy "Even";
 use_thy "Star";
 use_thy "AB";
-use_thy "Acc";
+use_thy "Advanced";
 
--- a/doc-src/TutorialI/IsaMakefile	Thu Nov 02 15:45:32 2000 +0100
+++ b/doc-src/TutorialI/IsaMakefile	Fri Nov 03 10:23:24 2000 +0100
@@ -134,7 +134,7 @@
 HOL-Inductive: HOL $(LOG)/HOL-Inductive.gz
 
 $(LOG)/HOL-Inductive.gz: $(OUT)/HOL Inductive/ROOT.ML \
-  Inductive/Even.thy Inductive/Star.thy Inductive/AB.thy Inductive/Acc.thy
+  Inductive/Even.thy Inductive/Star.thy Inductive/AB.thy Inductive/Advanced.thy
 	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Inductive
 	@rm -f tutorial.dvi
isabelle