diff -r 230f456956a2 -r 7c848e330a80 doc-src/Logics/logics.tex
--- 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}}