# 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