1 |
1 |
2 %% $Id$ |
2 %% $Id$ |
3 |
3 |
4 \documentclass[12pt,a4paper,fleqn]{report} |
4 \documentclass[12pt,a4paper,fleqn]{report} |
5 \usepackage{latexsym,graphicx,../iman,../extra,../ttbox,../proof,../rail,../railsetup,../isar,../pdfsetup} |
5 \usepackage{latexsym,graphicx} |
|
6 \usepackage{../iman,../extra,../isar,../proof} |
|
7 \usepackage{Thy/document/isabelle,Thy/document/isabellesym} |
|
8 \usepackage{../ttbox,,../rail,../railsetup} |
|
9 \usepackage{style} |
|
10 \usepackage{../pdfsetup} |
6 |
11 |
7 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual} |
12 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual} |
8 \author{\emph{Markus Wenzel} \\ TU M\"unchen} |
13 \author{\emph{Markus Wenzel} \\ TU M\"unchen} |
9 |
14 |
10 \makeindex |
15 \makeindex |
11 |
|
12 \newcommand{\isastyle}{\small\tt\slshape} |
|
13 \newcommand{\isa}[1]{\emph{\isastyle #1}} |
|
14 \newcommand{\isamath}[1]{\emph{$#1$}} |
|
15 \newcommand{\isasymColon}{\isamath{\mathrel{::}}} |
|
16 \newcommand{\isasymRightarrow}{\isamath{\Rightarrow}} |
|
17 \newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}} |
|
18 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}} |
|
19 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}} |
|
20 \newcommand{\isasymequiv}{\isamath{\equiv}} |
|
21 \newcommand{\isasymsubseteq}{\isamath{\subseteq}} |
|
22 |
16 |
23 \railterm{percent,ppercent,underscore,lbrace,rbrace,atsign} |
17 \railterm{percent,ppercent,underscore,lbrace,rbrace,atsign} |
24 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword} |
18 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword} |
25 \railterm{name,nameref,text,type,term,prop,atom} |
19 \railterm{name,nameref,text,type,term,prop,atom} |
26 |
20 |