--- a/doc-src/isabelle.sty Mon Sep 20 09:19:13 2010 +0200
+++ b/doc-src/isabelle.sty Mon Sep 20 09:19:17 2010 +0200
@@ -1,5 +1,3 @@
-%%
-%%
%%
%% macros for Isabelle generated LaTeX output
%%
@@ -48,6 +46,8 @@
{\begin{trivlist}\begin{isabellebody}\item\relax}
{\end{isabellebody}\end{trivlist}}
+\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
+
\newcommand{\isa}[1]{\emph{\isastyleminor #1}}
\newcommand{\isaindent}[1]{\hphantom{#1}}