14 %%% to delete old ones: \\indexbold{\*[^}]*} |
13 %%% to delete old ones: \\indexbold{\*[^}]*} |
15 %% run sedindex ref to prepare index file |
14 %% run sedindex ref to prepare index file |
16 %%% needs chapter on Provers/typedsimp.ML? |
15 %%% needs chapter on Provers/typedsimp.ML? |
17 \title{The Isabelle Reference Manual} |
16 \title{The Isabelle Reference Manual} |
18 |
17 |
19 \author{{\em Lawrence C. Paulson}% |
18 \author{{\em Lawrence C. Paulson}\\ |
|
19 Computer Laboratory \\ University of Cambridge \\ |
|
20 \texttt{lcp@cl.cam.ac.uk}\\[3ex] |
|
21 With Contributions by Tobias Nipkow and Markus Wenzel% |
20 \thanks{Tobias Nipkow, of T. U. Munich, wrote most of |
22 \thanks{Tobias Nipkow, of T. U. Munich, wrote most of |
21 Chapters~\protect\ref{Defining-Logics} and~\protect\ref{simp-chap}, and part of |
23 Chapters~\protect\ref{Defining-Logics} and~\protect\ref{simp-chap}, and part of |
22 Chapter~\protect\ref{theories}. Carsten Clasohm also contributed to |
24 Chapter~\protect\ref{theories}. Carsten Clasohm also contributed to |
23 Chapter~\protect\ref{theories}. Markus Wenzel contributed to |
25 Chapter~\protect\ref{theories}. Markus Wenzel contributed to |
24 Chapter~\protect\ref{chap:syntax}. Sara Kalvala, Martin Simons and others |
26 Chapter~\protect\ref{chap:syntax}. Sara Kalvala, Martin Simons and others |
25 suggested changes |
27 suggested changes |
26 and corrections. The research has been funded by the SERC (grants |
28 and corrections. The research has been funded by the EPSRC (grants |
27 GR/G53279, GR/H40570) and by ESPRIT project 6453: Types.} |
29 GR/G53279, GR/H40570, GR/K57381, GR/K77051) and by ESPRIT project 6453: |
28 \\ |
30 Types.}} |
29 Computer Laboratory \\ University of Cambridge \\[2ex] |
|
30 \small{\em Electronic mail\/}: {\tt lcp@cl.cam.ac.uk}\\[3cm] |
|
31 Copyright \copyright{} \number\year{} by Lawrence C. Paulson} |
|
32 |
31 |
33 \makeindex |
32 \makeindex |
34 |
33 |
35 \setcounter{secnumdepth}{1} \setcounter{tocdepth}{2} |
34 \setcounter{secnumdepth}{1} \setcounter{tocdepth}{2} |
36 |
35 |