equal
deleted
inserted
replaced
26 project 6453: Types.}\\ |
26 project 6453: Types.}\\ |
27 Computer Laboratory \\ |
27 Computer Laboratory \\ |
28 University of Cambridge \\[2ex] |
28 University of Cambridge \\[2ex] |
29 {\small{\em Electronic mail\/}: {\tt lcp@cl.cam.ac.uk}} \\[3cm] |
29 {\small{\em Electronic mail\/}: {\tt lcp@cl.cam.ac.uk}} \\[3cm] |
30 {\small Copyright \copyright{} \number\year{} by Lawrence C. Paulson} } |
30 {\small Copyright \copyright{} \number\year{} by Lawrence C. Paulson} } |
31 |
|
32 \date{} |
|
33 |
31 |
34 \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip |
32 \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip |
35 \hrule\bigskip} |
33 \hrule\bigskip} |
36 \newenvironment{constants}{\begin{center}\small\begin{tabular}{rrrr}}{\end{tabular}\end{center}} |
34 \newenvironment{constants}{\begin{center}\small\begin{tabular}{rrrr}}{\end{tabular}\end{center}} |
37 |
35 |