| changeset 61935 | 6512e84cc9f5 |
| parent 61932 | 2e48182cc82c |
| child 61939 | 3c8c390a8f0a |
--- a/src/HOL/Isar_Examples/document/root.tex Sat Dec 26 16:10:00 2015 +0100 +++ b/src/HOL/Isar_Examples/document/root.tex Sat Dec 26 19:27:46 2015 +0100 @@ -15,7 +15,7 @@ \begin{document} -\title{Miscellaneous Isabelle/Isar examples for Higher-Order Logic} +\title{Miscellaneous Isabelle/Isar examples} \author{Makarius Wenzel \\[2ex] With contributions by Gertrud Bauer and Tobias Nipkow} \maketitle