lib/texinputs/isabelle.sty
author wenzelm
Fri, 08 Oct 1999 17:07:10 +0200
changeset 7811 eaf9e022eef3
parent 7797 38a46d9ea08a
child 7907 258f136864db
permissions -rw-r--r--
\isakeyword: italic correction;

%%
%% $Id$
%%
%% macros for Isabelle generated LaTeX output
%%

%%% Simple document preparation (based on theory token language)

% basic environment

\newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
\newcommand{\isanewline}{\mbox{}\\\mbox{}}

\chardef\isabraceleft=`\{
\chardef\isabraceright=`\}
\chardef\isatilde=`\~
\chardef\isacircum=`\^
\chardef\isabackslash=`\\


% keyword and section markup

\newcommand{\isacommand}[1]{{\bf #1}}
\newcommand{\isakeyword}[1]{\/{\bf #1}\/}
\newcommand{\isabeginblock}{\isakeyword{\{}}
\newcommand{\isaendblock}{\isakeyword{\}}}

\newcommand{\isapar}[1]{{\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}}