diff -r 1379e49c0ee9 -r 026007eb2ccc src/HOL/Library/document/root.tex
--- 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