1.1 --- a/doc-src/isabelle.sty	Mon Sep 20 09:19:13 2010 +0200
     1.2 +++ b/doc-src/isabelle.sty	Mon Sep 20 09:19:17 2010 +0200
     1.3 @@ -1,5 +1,3 @@
     1.4 -%%
     1.5 -%% 
     1.6  %%
     1.7  %% macros for Isabelle generated LaTeX output
     1.8  %%
     1.9 @@ -48,6 +46,8 @@
    1.10  {\begin{trivlist}\begin{isabellebody}\item\relax}
    1.11  {\end{isabellebody}\end{trivlist}}
    1.12  
    1.13 +\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
    1.14 +
    1.15  \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
    1.16  
    1.17  \newcommand{\isaindent}[1]{\hphantom{#1}}