src/HOL/Isar_examples/document/root.tex

--- a/src/HOL/Isar_examples/document/root.tex	Tue Dec 07 12:13:09 1999 +0100
+++ b/src/HOL/Isar_examples/document/root.tex	Tue Dec 07 17:14:49 1999 +0100
@@ -7,7 +7,7 @@
 
 \title{Miscellaneous Isabelle/Isar examples for Higher-Order Logic}
 \author{Markus Wenzel \\ \url{http://www.in.tum.de/~wenzelm/} \\[2ex]
-  With Contributions by Gertrud Bauer and Tobias Nipkow}
+  With contributions by Gertrud Bauer and Tobias Nipkow}
 \maketitle
 
 \begin{abstract}