changeset 8051 | 5724bea1da53 |
parent 7874 | 180364256231 |
child 8052 | 6ae3ca78a558 |
--- a/src/HOL/Isar_examples/document/root.tex Tue Dec 07 12:12:54 1999 +0100 +++ b/src/HOL/Isar_examples/document/root.tex Tue Dec 07 12:13:09 1999 +0100 @@ -6,7 +6,8 @@ \begin{document} \title{Miscellaneous Isabelle/Isar examples for Higher-Order Logic} -\author{Markus Wenzel \\ \url{http://www.in.tum.de/~wenzelm/}} +\author{Markus Wenzel \\ \url{http://www.in.tum.de/~wenzelm/} \\[2ex] + With Contributions by Gertrud Bauer and Tobias Nipkow} \maketitle \begin{abstract}