lib/texinputs/isabelle.sty
author wenzelm
Wed Oct 06 00:35:05 1999 +0200 (1999-10-06)
changeset 7752 7ee322caf59c
parent 7709 545637744a85
child 7758 d36c19045493
permissions -rw-r--r--
accomodate markup commands;
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@7752
     9
%basic environment
wenzelm@7709
    10
\newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
wenzelm@7709
    11
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
wenzelm@7752
    12
wenzelm@7752
    13
%keywords
wenzelm@7709
    14
\newcommand{\isacommand}[1]{{\bf #1}}
wenzelm@7709
    15
\newcommand{\isakeyword}[1]{{\bf #1}}
wenzelm@7752
    16
wenzelm@7752
    17
%theory sections
wenzelm@7752
    18
\newcommand{\isamarkupheader}[1]{{\rm #1}}
wenzelm@7752
    19
\newcommand{\isamarkupchapter}[1]{\chapter{#1}}
wenzelm@7752
    20
\newcommand{\isamarkupsection}[1]{\section{#1}}
wenzelm@7752
    21
\newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
wenzelm@7752
    22
\newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
wenzelm@7752
    23
\newcommand{\isamarkuptext}[1]{{\rm #1}}
wenzelm@7752
    24
wenzelm@7752
    25
%proof sections
wenzelm@7752
    26
\newcommand{\isamarkupsect}[1]{\section{#1}}
wenzelm@7752
    27
\newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
wenzelm@7752
    28
\newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
wenzelm@7752
    29
\newcommand{\isamarkuptxt}[1]{{\sl #1}}