lib/texinputs/isabelle.sty
author wenzelm
Tue, 05 Oct 1999 14:11:34 +0200
changeset 7709 545637744a85
child 7752 7ee322caf59c
permissions -rw-r--r--
macros for Isabelle generated LaTeX output;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7709
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
     1
%%
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
     2
%% $Id$
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
     3
%%
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
     4
%% macros for Isabelle generated LaTeX output
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
     5
%%
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
     6
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
     7
%%% Simple document preparation (based on theory token language)
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
     8
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
     9
\newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
    10
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
    11
\newcommand{\isacommand}[1]{{\bf #1}}
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
    12
\newcommand{\isakeyword}[1]{{\bf #1}}
545637744a85 macros for Isabelle generated LaTeX output;
wenzelm
parents:
diff changeset
    13
\newcommand{\isatext}[1]{{\rm #1}}