equal
deleted
inserted
replaced
19 \author{{\em Lawrence C. Paulson}\\ |
19 \author{{\em Lawrence C. Paulson}\\ |
20 Computer Laboratory \\ University of Cambridge \\ |
20 Computer Laboratory \\ University of Cambridge \\ |
21 \texttt{lcp@cl.cam.ac.uk}\\[3ex] |
21 \texttt{lcp@cl.cam.ac.uk}\\[3ex] |
22 With Contributions by Tobias Nipkow and Markus Wenzel% |
22 With Contributions by Tobias Nipkow and Markus Wenzel% |
23 \thanks{Tobias Nipkow, of T. U. Munich, wrote most of |
23 \thanks{Tobias Nipkow, of T. U. Munich, wrote most of |
24 Chapters~\protect\ref{Defining-Logics} and~\protect\ref{simp-chap}, and part of |
24 Chapters~\protect\ref{Defining-Logics} and~\protect\ref{chap:simplification}, |
|
25 and part of |
25 Chapter~\protect\ref{theories}. Carsten Clasohm also contributed to |
26 Chapter~\protect\ref{theories}. Carsten Clasohm also contributed to |
26 Chapter~\protect\ref{theories}. Markus Wenzel contributed to |
27 Chapter~\protect\ref{theories}. Markus Wenzel contributed to |
27 Chapter~\protect\ref{chap:syntax}. Sara Kalvala, Martin Simons and others |
28 Chapter~\protect\ref{chap:syntax}. Sara Kalvala, Martin Simons and others |
28 suggested changes |
29 suggested changes |
29 and corrections. The research has been funded by the EPSRC (grants |
30 and corrections. The research has been funded by the EPSRC (grants |