| changeset 2976 | 7c848e330a80 |
| parent 2933 | f842a75d9624 |
| child 3005 | 645ec3d19ac1 |
--- a/doc-src/Logics/logics.tex Thu Apr 17 18:10:49 1997 +0200 +++ b/doc-src/Logics/logics.tex Thu Apr 17 18:16:12 1997 +0200 @@ -29,8 +29,6 @@ {\small{\em Electronic mail\/}: {\tt lcp@cl.cam.ac.uk}} \\[3cm] {\small Copyright \copyright{} \number\year{} by Lawrence C. Paulson} } -\date{} - \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip \hrule\bigskip} \newenvironment{constants}{\begin{center}\small\begin{tabular}{rrrr}}{\end{tabular}\end{center}}