--- 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 \\