diff -r 9fd10052c3f7 -r 56eb790f3a03 doc-src/TutorialI/Makefile
--- a/doc-src/TutorialI/Makefile	Fri Dec 21 00:40:52 2001 +0100
+++ b/doc-src/TutorialI/Makefile	Fri Dec 21 00:43:58 2001 +0100
@@ -21,7 +21,7 @@
 	Inductive/advanced-examples.tex \
 	Protocol/protocol.tex \
 	Rules/rules.tex Sets/sets.tex \
-	Types/numerics.tex Types/records.tex Types/types.tex \
+	Types/numerics.tex Types/types.tex \
 	Documents/documents.tex \
 	../iman.sty ../ttbox.sty ../extra.sty \
 	isabelle.sty isabellesym.sty ../pdfsetup.sty