# HG changeset patch
# User wenzelm
# Date 1003685772 -7200
# Node ID cb26f392248931f74fdb1ad2845cb76e9dd50a74
# Parent  ca128c9100b679cc619086d910d5e2ae3989cc3e
Types/document/Typedefs;

diff -r ca128c9100b6 -r cb26f3922489 doc-src/TutorialI/Types/types.tex
--- a/doc-src/TutorialI/Types/types.tex	Sun Oct 21 19:35:40 2001 +0200
+++ b/doc-src/TutorialI/Types/types.tex	Sun Oct 21 19:36:12 2001 +0200
@@ -68,4 +68,4 @@
 \index{*axclass|)}
 
 
-\input{Types/document/Typedef}
+\input{Types/document/Typedefs}