%%
%% $Id$
%%
%% macros for Isabelle generated LaTeX output
%%
%%% Simple document preparation (based on theory token language)
% basic environment
\newcommand{\isabellestyle}{}
\newenvironment{isabelle}{%
\newdimen\outerparindent\outerparindent=\parindent\parindent=0pt%
\newdimen\outerparskip\outerparskip=\parskip\parskip=0.5ex%
\small\tt\slshape\isabellestyle\mbox{}}{}
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
\chardef\isabraceleft=`\{
\chardef\isabraceright=`\}
\chardef\isatilde=`\~
\chardef\isacircum=`\^
\chardef\isabackslash=`\\
% keyword and section markup
\newcommand{\isacommand}[1]{\emph{\bf #1}}
\newcommand{\isakeyword}[1]{\emph{\bf #1}}
\newcommand{\isabeginblock}{\isakeyword{\{}}
\newcommand{\isaendblock}{\isakeyword{\}}}
\newcommand{\isapar}[1]{%
{\parindent=\outerparindent\parskip=\outerparskip\par\medskip #1}\par\smallskip}
\newcommand{\isamarkupheader}[1]{#1}
\newcommand{\isamarkupchapter}[1]{\chapter{#1}}
\newcommand{\isamarkupsection}[1]{\section{#1}}
\newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
\newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
\newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}
\newcommand{\isamarkupsect}[1]{\section{#1}}
\newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
\newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
\newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}
\newcommand{\isamarkupcmt}[1]{{\rm--- #1}}