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