# HG changeset patch
# User wenzelm
# Date 1008879122 -3600
# Node ID a46009d886873b9532ced40a67cebe9926e0dbda
# Parent  614ef5ca41ed31dc2878a70586c2bed171b79a6f
document/Records.tex;

diff -r 614ef5ca41ed -r a46009d88687 doc-src/TutorialI/Types/types.tex
--- a/doc-src/TutorialI/Types/types.tex	Thu Dec 20 21:11:04 2001 +0100
+++ b/doc-src/TutorialI/Types/types.tex	Thu Dec 20 21:12:02 2001 +0100
@@ -28,7 +28,7 @@
 \input{Types/document/Pairs}
 \index{pairs and tuples|)}
 
-\input{Types/records}
+\input{Types/document/Records}
 
 
 \section{Axiomatic Type Classes}