1.1 --- a/doc-src/TutorialI/Makefile	Mon Oct 01 14:42:47 2001 +0200
     1.2 +++ b/doc-src/TutorialI/Makefile	Mon Oct 01 14:44:00 2001 +0200
     1.3 @@ -22,6 +22,7 @@
     1.4  	Protocol/protocol.tex \
     1.5  	Rules/rules.tex Sets/sets.tex \
     1.6  	Types/numerics.tex Types/records.tex Types/types.tex \
     1.7 +	Documents/documents.tex \
     1.8  	../iman.sty ../ttbox.sty ../extra.sty \
     1.9  	isabelle.sty isabellesym.sty ../pdfsetup.sty
    1.10