doc-src/isar.sty
changeset 8992 6addcdd363b7
parent 8900 e9f1cd37cba4
child 9202 738056d60a2a
--- a/doc-src/isar.sty	Sun May 28 21:55:50 2000 +0200
+++ b/doc-src/isar.sty	Sun May 28 21:57:40 2000 +0200
@@ -15,6 +15,7 @@
 \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{\indexisarcase}[1]{\index{#1 (case)|bold}\index{Cases!#1|bold}}
 
 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}