New title page.
authornipkow
Thu May 06 11:13:01 1999 +0200 (1999-05-06)
changeset 6605c2754409919b
parent 6604 d646567156c3
child 6606 94b638b3827c
New title page.
doc-src/HOL/logics-HOL.tex
     1.1 --- a/doc-src/HOL/logics-HOL.tex	Wed May 05 18:48:32 1999 +0200
     1.2 +++ b/doc-src/HOL/logics-HOL.tex	Thu May 06 11:13:01 1999 +0200
     1.3 @@ -17,14 +17,17 @@
     1.4  \title{\includegraphics[scale=0.5]{isabelle_hol.eps} \\[4ex] 
     1.5         Isabelle's Logics: HOL}
     1.6  
     1.7 -\author{{\em Lawrence C. Paulson}\\
     1.8 -        Computer Laboratory \\ University of Cambridge \\
     1.9 -        \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
    1.10 -        With Contributions by Tobias Nipkow and Markus Wenzel%
    1.11 -        \thanks{Tobias Nipkow developed~\HOL{}.  Markus Wenzel made numerous
    1.12 -          improvements.  The research has been funded by the EPSRC (grants
    1.13 -          GR/G53279, GR/H40570, GR/K57381, GR/K77051) and by ESPRIT project
    1.14 -          6453: Types.}}
    1.15 +\author{Tobias Nipkow\footnote
    1.16 +{Institut f\"ur Informatik, Technische Universit\"at M\"unchen,
    1.17 + \texttt{nipkow@in.tum.de}},
    1.18 +Lawrence C. Paulson\footnote
    1.19 +{Computer Laboratory, University of Cambridge, \texttt{lcp@cl.cam.ac.uk}},
    1.20 +Markus Wenzel\footnote
    1.21 +{Institut f\"ur Informatik, Technische Universit\"at M\"unchen,
    1.22 + \texttt{wenzelm@in.tum.de}}}
    1.23 +%\thanks{The research has been funded by the EPSRC (grants
    1.24 +%          GR/G53279, GR/H40570, GR/K57381, GR/K77051), by ESPRIT project
    1.25 +%          6453: Types, and by the DFG Schwerpunktprogramm \emph{Deduktion}.}
    1.26  
    1.27  \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip
    1.28    \hrule\bigskip}