# HG changeset patch
# User wenzelm
# Date 1008891838 -3600
# Node ID 56eb790f3a03ec7abac37684b28578cc6bcd58b1
# Parent  9fd10052c3f7aa4ae2e6363487996aae67c6806a
removed Types/records.tex;

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