--- a/doc-src/TutorialI/IsaMakefile Wed Jun 17 10:07:15 2009 +0200
+++ b/doc-src/TutorialI/IsaMakefile Wed Jun 17 10:07:22 2009 +0200
@@ -151,7 +151,6 @@
$(LOG)/HOL-Types.gz: $(OUT)/HOL Types/ROOT.ML \
Types/Numbers.thy Types/Pairs.thy Types/Records.thy Types/Typedefs.thy \
- Types/Overloading0.thy Types/Overloading1.thy Types/Overloading2.thy \
Types/Overloading.thy Types/Axioms.thy
$(USEDIR) Types
@rm -f tutorial.dvi
--- a/doc-src/TutorialI/Makefile Wed Jun 17 10:07:15 2009 +0200
+++ b/doc-src/TutorialI/Makefile Wed Jun 17 10:07:22 2009 +0200
@@ -22,7 +22,8 @@
Protocol/document/Event.tex Protocol/document/Message.tex \
Protocol/document/Public.tex Protocol/document/NS_Public.tex \
Rules/rules.tex Sets/sets.tex Types/numerics.tex \
- Types/types.tex Documents/documents.tex ../iman.sty \
+ Types/types.tex Types/document/Overloading.tex \
+ Types/document/Axioms.tex Documents/documents.tex Misc/document/appendix.tex ../iman.sty \
../ttbox.sty ../extra.sty ../isabelle.sty ../isabellesym.sty \
../pdfsetup.sty