author | wenzelm |
Tue, 05 Oct 1999 14:11:34 +0200 | |
changeset 7709 | 545637744a85 |
child 7752 | 7ee322caf59c |
permissions | -rw-r--r-- |
%% %% $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}}