--- a/src/HOL/Library/document/root.tex Sun Feb 04 19:41:30 2001 +0100
+++ b/src/HOL/Library/document/root.tex Sun Feb 04 19:41:47 2001 +0100
@@ -16,6 +16,7 @@
Gertrud Bauer \\
Tobias Nipkow \\
Lawrence C Paulson \\
+ Thomas M Rasmussen \\
Markus Wenzel}
\maketitle