\newcommand{\indexisarcase};
authorwenzelm
Sun May 28 21:57:40 2000 +0200 (2000-05-28)
changeset 89926addcdd363b7
parent 8991 dc70b797827f
child 8993 cbfebff56cc0
\newcommand{\indexisarcase};
doc-src/isar.sty
     1.1 --- a/doc-src/isar.sty	Sun May 28 21:55:50 2000 +0200
     1.2 +++ b/doc-src/isar.sty	Sun May 28 21:57:40 2000 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4  \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}\index{Attributes!#1|bold}}
     1.5  \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}\index{Theorems!#1|bold}}
     1.6  \newcommand{\indexisarvar}[1]{\index{#1 (variable)|bold}\index{Variables!#1|bold}}
     1.7 +\newcommand{\indexisarcase}[1]{\index{#1 (case)|bold}\index{Cases!#1|bold}}
     1.8  
     1.9  \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
    1.10  \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}