4 %% macros for Isabelle generated LaTeX output
7 %%% Simple document preparation (based on theory token language)
11 \newcommand{\isabellestyle}{}
12 \newenvironment{isabelle}{%
13 \newdimen\@parindent\@parindent\parindent\parindent0pt%
14 \newdimen\@parskip\@parskip\parskip\parskip0.5ex%
15 \small\tt\slshape\isabellestyle\mbox{}}{}
16 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
18 \chardef\isabraceleft=`\{
19 \chardef\isabraceright=`\}
21 \chardef\isacircum=`\^
22 \chardef\isabackslash=`\\
25 % keyword and section markup
27 \newcommand{\isacommand}[1]{\emph{\bf #1}}
28 \newcommand{\isakeyword}[1]{\emph{\bf #1}}
29 \newcommand{\isabeginblock}{\isakeyword{\{}}
30 \newcommand{\isaendblock}{\isakeyword{\}}}
32 \newcommand{\isapar}[1]{%
33 {\parindent\@parindent\parskip\@parskip\par\medskip #1}\par\smallskip}
34 \newcommand{\isamarkupheader}[1]{\section{#1}}
36 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
37 \newcommand{\isamarkupsection}[1]{\section{#1}}
38 \newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
39 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
40 \newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}
42 \newcommand{\isamarkupsect}[1]{\section{#1}}
43 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
44 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
45 \newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}
46 \newcommand{\isamarkupcmt}[1]{{\rm--- #1}}