# HG changeset patch
# User wenzelm
# Date 939125494 -7200
# Node ID 545637744a85d85ef6056aa4fd4e4f1be7d53a31
# Parent  d4d9051274208a78e583a7879fcf0b993b4366ba
macros for Isabelle generated LaTeX output;

diff -r d4d905127420 -r 545637744a85 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}}