1.1 --- a/doc-src/isar.sty Sat Sep 04 20:55:26 1999 +0200
1.2 +++ b/doc-src/isar.sty Sat Sep 04 20:55:52 1999 +0200
1.3 @@ -14,6 +14,7 @@
1.4 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{Proof methods!#1|bold}}
1.5 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}\index{Attributes!#1|bold}}
1.6 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}\index{Theorems!#1|bold}}
1.7 +\newcommand{\indexisarvar}[1]{\index{#1 (variable)|bold}\index{Variables!#1|bold}}
1.8
1.9 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
1.10 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}