changeset 7709 | 545637744a85 |
child 7752 | 7ee322caf59c |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/texinputs/isabelle.sty Tue Oct 05 14:11:34 1999 +0200 @@ -0,0 +1,13 @@ +%% +%% $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}}