| changeset 12568 | a46009d88687 |
| parent 11859 | cb26f3922489 |
| child 14400 | 6069098854b9 |
--- 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}