lib/texinputs/isabelle.sty

--- /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}}