# HG changeset patch
# User wenzelm
# Date 966681860 -7200
# Node ID 97d6d0a72d35065e287bf6b6442c09dd5981cfbb
# Parent  0a187a43ef218e66dc8f62b49206eee33ffdc16e
tuned \isastyle;

diff -r 0a187a43ef21 -r 97d6d0a72d35 doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Sat Aug 19 12:43:55 2000 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Sat Aug 19 12:44:20 2000 +0200
@@ -16,8 +16,8 @@
 
 \makeindex
 
-\newcommand{\isabellestyle}{\small\tt\slshape}
-\newcommand{\isa}[1]{\emph{\isabellestyle #1}}
+\newcommand{\isastyle}{\small\tt\slshape}
+\newcommand{\isa}[1]{\emph{\isastyle #1}}
 \newcommand{\isasymColon}{\emph{$\mathrel{::}$}}
 \newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}