--- a/doc-src/isar.sty Thu Feb 02 16:31:28 2006 +0100
+++ b/doc-src/isar.sty Thu Feb 02 16:31:30 2006 +0100
@@ -11,6 +11,7 @@
\newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}}
\newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}}
\newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}\index{Commands!#1|bold}}
+\newcommand{\indexisarelem}[1]{\index{#1 (element)|bold}\index{Elements!#1|bold}}
\newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{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}}