author | wenzelm |
Tue, 05 Oct 1999 14:11:34 +0200 | |
changeset 7709 | 545637744a85 |
child 7752 | 7ee322caf59c |
permissions | -rw-r--r-- |
7709 | 1 |
%% |
2 |
%% $Id$ |
|
3 |
%% |
|
4 |
%% macros for Isabelle generated LaTeX output |
|
5 |
%% |
|
6 |
||
7 |
%%% Simple document preparation (based on theory token language) |
|
8 |
||
9 |
\newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{} |
|
10 |
\newcommand{\isanewline}{\mbox{}\\\mbox{}} |
|
11 |
\newcommand{\isacommand}[1]{{\bf #1}} |
|
12 |
\newcommand{\isakeyword}[1]{{\bf #1}} |
|
13 |
\newcommand{\isatext}[1]{{\rm #1}} |