lib/texinputs/isabelle.sty

macros for Isabelle generated LaTeX output;

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

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

\newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
\newcommand{\isacommand}[1]{{\bf #1}}
\newcommand{\isakeyword}[1]{{\bf #1}}
\newcommand{\isatext}[1]{{\rm #1}}