--- a/doc-src/TutorialI/Makefile Mon Jul 16 13:14:19 2001 +0200
+++ b/doc-src/TutorialI/Makefile Tue Jul 17 13:46:21 2001 +0200
@@ -15,6 +15,13 @@
NAME = tutorial
FILES = tutorial.tex basics.tex fp.tex appendix.tex \
+ Advanced/advanced.tex \
+ CTL/ctl.tex \
+ Inductive/inductive.tex Inductive/even-example.tex \
+ Inductive/advanced-examples.tex \
+ Protocol/protocol.tex \
+ Rules/rules.tex Sets/sets.tex \
+ Types/numerics.tex Types/records.tex Types/types.tex \
../iman.sty ../ttbox.sty ../extra.sty \
isabelle.sty isabellesym.sty ../pdfsetup.sty