
diff -r 9178f8fcc388 -r ac83801ab294 doc-src/Logics/logics.tex
--- a/doc-src/Logics/logics.tex	Mon Jul 20 19:06:14 1998 +0200
+++ b/doc-src/Logics/logics.tex	Mon Jul 20 19:06:39 1998 +0200
@@ -1,5 +1,5 @@
 \documentclass[12pt]{report}
-\usepackage{a4,latexsym}
+\usepackage{graphicx,a4,latexsym,../pdfsetup}
 
 \makeatletter
 \input{../proof.sty}
@@ -16,7 +16,7 @@
 %%% to index constants:   \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\)     \\cdx{\1}  
 %%% to deverbify:         \\verb|\([^|]*\)|     \\ttindex{\1}  
 %% run    ../sedindex logics    to prepare index file
-\title{Isabelle's Object-Logics}
+\title{\includegraphics[scale=0.5]{../isabelle.ps} \\[4ex] Isabelle's Object-Logics}
 
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\




