author | wenzelm |
Fri, 08 Oct 1999 16:17:59 +0200 | |
changeset 7806 | 991d6c09930e |
parent 7805 | 0ae9ddc36fe0 |
child 7807 | 6a102f74ad0a |
--- 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}