changeset 9658 | 97d6d0a72d35 |
parent 9600 | a585662e6490 |
child 9695 | ec7d7f877712 |
--- 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$}}