# HG changeset patch
# User wenzelm
# Date 939392279 -7200
# Node ID 991d6c09930ef084dcd62e5d1d42cd0d03135e12
# Parent  0ae9ddc36fe0c38204d452045d07962dbdce756f
url;

diff -r 0ae9ddc36fe0 -r 991d6c09930e src/HOL/Isar_examples/document/root.tex
--- 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}