# HG changeset patch
# User wenzelm
# Date 936471352 -7200
# Node ID a987f4ff5bd36163cc056e631ead3403fe85c6fc
# Parent  25e53464294e8ac034aebed770d2f6837af11f97
added \indexisarvar;

diff -r 25e53464294e -r a987f4ff5bd3 doc-src/isar.sty
--- a/doc-src/isar.sty	Sat Sep 04 20:55:26 1999 +0200
+++ b/doc-src/isar.sty	Sat Sep 04 20:55:52 1999 +0200
@@ -14,6 +14,7 @@
 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{Proof methods!#1|bold}}
 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}\index{Attributes!#1|bold}}
 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}\index{Theorems!#1|bold}}
+\newcommand{\indexisarvar}[1]{\index{#1 (variable)|bold}\index{Variables!#1|bold}}
 
 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}