1.1 --- a/doc-src/IsarRef/isar-ref.tex	Sat Aug 19 12:43:55 2000 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Sat Aug 19 12:44:20 2000 +0200
     1.3 @@ -16,8 +16,8 @@
     1.4  
     1.5  \makeindex
     1.6  
     1.7 -\newcommand{\isabellestyle}{\small\tt\slshape}
     1.8 -\newcommand{\isa}[1]{\emph{\isabellestyle #1}}
     1.9 +\newcommand{\isastyle}{\small\tt\slshape}
    1.10 +\newcommand{\isa}[1]{\emph{\isastyle #1}}
    1.11  \newcommand{\isasymColon}{\emph{$\mathrel{::}$}}
    1.12  \newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}
    1.13