equal
deleted
inserted
replaced
1 \documentclass[12pt]{article} |
1 \documentclass[12pt]{article} |
2 \usepackage{a4,../iman,../extra,../proof} |
2 \usepackage{graphicx,a4,../iman,../extra,../proof,../pdfsetup} |
3 |
3 |
4 %% $Id$ |
4 %% $Id$ |
5 %% run bibtex intro to prepare bibliography |
5 %% run bibtex intro to prepare bibliography |
6 %% run ../sedindex intro to prepare index file |
6 %% run ../sedindex intro to prepare index file |
7 %prth *(\(.*\)); \1; |
7 %prth *(\(.*\)); \1; |
8 %{\\out \(.*\)} {\\out val it = "\1" : thm} |
8 %{\\out \(.*\)} {\\out val it = "\1" : thm} |
9 |
9 |
10 \title{Introduction to Isabelle} |
10 \title{\includegraphics[scale=0.5]{../isabelle.ps} \\[4ex] Introduction to Isabelle} |
11 \author{{\em Lawrence C. Paulson}\\ |
11 \author{{\em Lawrence C. Paulson}\\ |
12 Computer Laboratory \\ University of Cambridge \\ |
12 Computer Laboratory \\ University of Cambridge \\ |
13 \texttt{lcp@cl.cam.ac.uk}\\[3ex] |
13 \texttt{lcp@cl.cam.ac.uk}\\[3ex] |
14 With Contributions by Tobias Nipkow and Markus Wenzel |
14 With Contributions by Tobias Nipkow and Markus Wenzel |
15 } |
15 } |