--- a/doc-src/Intro/intro.tex Mon Jul 20 19:06:14 1998 +0200
+++ b/doc-src/Intro/intro.tex Mon Jul 20 19:06:39 1998 +0200
@@ -1,5 +1,5 @@
\documentclass[12pt]{article}
-\usepackage{a4,../iman,../extra,../proof}
+\usepackage{graphicx,a4,../iman,../extra,../proof,../pdfsetup}
%% $Id$
%% run bibtex intro to prepare bibliography
@@ -7,7 +7,7 @@
%prth *(\(.*\)); \1;
%{\\out \(.*\)} {\\out val it = "\1" : thm}
-\title{Introduction to Isabelle}
+\title{\includegraphics[scale=0.5]{../isabelle.ps} \\[4ex] Introduction to Isabelle}
\author{{\em Lawrence C. Paulson}\\
Computer Laboratory \\ University of Cambridge \\
\texttt{lcp@cl.cam.ac.uk}\\[3ex]