lib/texinputs/isabelle.sty
author wenzelm
Tue Oct 05 14:11:34 1999 +0200 (1999-10-05)
changeset 7709 545637744a85
child 7752 7ee322caf59c
permissions -rw-r--r--
macros for Isabelle generated LaTeX output;
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@7709
     9
\newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
wenzelm@7709
    10
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
wenzelm@7709
    11
\newcommand{\isacommand}[1]{{\bf #1}}
wenzelm@7709
    12
\newcommand{\isakeyword}[1]{{\bf #1}}
wenzelm@7709
    13
\newcommand{\isatext}[1]{{\rm #1}}