doc-src/Intro/intro.tex
changeset 5165 ac83801ab294
parent 4239 8c98484ef66f
child 5167 10e033194e9d
     1.1 --- a/doc-src/Intro/intro.tex	Mon Jul 20 19:06:14 1998 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Mon Jul 20 19:06:39 1998 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  \documentclass[12pt]{article}
     1.5 -\usepackage{a4,../iman,../extra,../proof}
     1.6 +\usepackage{graphicx,a4,../iman,../extra,../proof,../pdfsetup}
     1.7  
     1.8  %% $Id$
     1.9  %% run    bibtex intro         to prepare bibliography
    1.10 @@ -7,7 +7,7 @@
    1.11  %prth *(\(.*\));          \1;      
    1.12  %{\\out \(.*\)}          {\\out val it = "\1" : thm}
    1.13  
    1.14 -\title{Introduction to Isabelle}   
    1.15 +\title{\includegraphics[scale=0.5]{../isabelle.ps} \\[4ex] Introduction to Isabelle}   
    1.16  \author{{\em Lawrence C. Paulson}\\
    1.17          Computer Laboratory \\ University of Cambridge \\
    1.18          \texttt{lcp@cl.cam.ac.uk}\\[3ex]