url;

--- a/src/HOL/Isar_examples/document/root.tex	Fri Oct 08 16:16:51 1999 +0200
+++ b/src/HOL/Isar_examples/document/root.tex	Fri Oct 08 16:17:59 1999 +0200
@@ -6,7 +6,7 @@
 \begin{document}
 
 \title{Miscellaneous Isabelle/Isar examples for Higher-Order Logic}
-\author{Markus Wenzel}
+\author{Markus Wenzel \\ \url{http://www.in.tum.de/~wenzelm/}}
 \maketitle
 
 \begin{abstract}