lib/texinputs/isabelle.sty
author wenzelm
Fri Apr 14 15:55:40 2000 +0200 (2000-04-14)
changeset 8713 05688a1a4f41
parent 8662 f9679ddbc492
child 8714 61cafd91963c
permissions -rw-r--r--
global \isa@parindent, \isa@parskip;
\newcommand{\isa};
wenzelm@7709
     1
%%
wenzelm@7709
     2
%% $Id$
wenzelm@7709
     3
%%
wenzelm@7709
     4
%% macros for Isabelle generated LaTeX output
wenzelm@7709
     5
%%
wenzelm@7709
     6
wenzelm@7709
     7
%%% Simple document preparation (based on theory token language)
wenzelm@7709
     8
wenzelm@8713
     9
% basic isabelle environment
wenzelm@7788
    10
wenzelm@8713
    11
\newcommand{\isabelledefaultstyle}{\small\tt\slshape}
wenzelm@8474
    12
\newcommand{\isabellestyle}{}
wenzelm@8713
    13
wenzelm@8713
    14
\newdimen\isa@parindent\newdimen\isa@parskip
wenzelm@8474
    15
\newenvironment{isabelle}{%
wenzelm@8713
    16
\isa@parindent\parindent\parindent0pt%
wenzelm@8713
    17
\isa@parskip\parskip\parskip0pt%
wenzelm@8713
    18
\isabelledefaultstyle\isabellestyle}{}
wenzelm@8713
    19
wenzelm@8713
    20
\newcommand{\isa}[1]{\emph{\isabelledefaultstyle\isabellestyle #1}}
wenzelm@8713
    21
wenzelm@7709
    22
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
wenzelm@7752
    23
wenzelm@7797
    24
\chardef\isabraceleft=`\{
wenzelm@7797
    25
\chardef\isabraceright=`\}
wenzelm@7797
    26
\chardef\isatilde=`\~
wenzelm@7797
    27
\chardef\isacircum=`\^
wenzelm@7797
    28
\chardef\isabackslash=`\\
wenzelm@7788
    29
wenzelm@7797
    30
wenzelm@7797
    31
% keyword and section markup
wenzelm@7788
    32
wenzelm@7918
    33
\newcommand{\isacommand}[1]{\emph{\bf #1}}
wenzelm@7918
    34
\newcommand{\isakeyword}[1]{\emph{\bf #1}}
wenzelm@7797
    35
\newcommand{\isabeginblock}{\isakeyword{\{}}
wenzelm@7797
    36
\newcommand{\isaendblock}{\isakeyword{\}}}
wenzelm@7758
    37
wenzelm@8501
    38
\newcommand{\isamarkupheader}[1]{\section{#1}}
wenzelm@7752
    39
\newcommand{\isamarkupchapter}[1]{\chapter{#1}}
wenzelm@7752
    40
\newcommand{\isamarkupsection}[1]{\section{#1}}
wenzelm@7752
    41
\newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
wenzelm@7752
    42
\newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
wenzelm@7752
    43
\newcommand{\isamarkupsect}[1]{\section{#1}}
wenzelm@7752
    44
\newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
wenzelm@7752
    45
\newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
wenzelm@8662
    46
wenzelm@8713
    47
\newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\smallskip}
wenzelm@8662
    48
\newenvironment{isamarkuptext}{\normalsize\rm\begin{isapar}}{\end{isapar}}
wenzelm@8662
    49
\newenvironment{isamarkuptxt}{\rm\begin{isapar}}{\end{isapar}}
wenzelm@7758
    50
\newcommand{\isamarkupcmt}[1]{{\rm--- #1}}