1.1 --- a/doc-src/TutorialI/Makefile	Fri Dec 21 00:40:52 2001 +0100
     1.2 +++ b/doc-src/TutorialI/Makefile	Fri Dec 21 00:43:58 2001 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  	Inductive/advanced-examples.tex \
     1.5  	Protocol/protocol.tex \
     1.6  	Rules/rules.tex Sets/sets.tex \
     1.7 -	Types/numerics.tex Types/records.tex Types/types.tex \
     1.8 +	Types/numerics.tex Types/types.tex \
     1.9  	Documents/documents.tex \
    1.10  	../iman.sty ../ttbox.sty ../extra.sty \
    1.11  	isabelle.sty isabellesym.sty ../pdfsetup.sty