doc-src/isar.sty
changeset 12615 3ef6235a4a75
parent 10860 12f45010ecb5
child 12623 7a33541fd81b
     1.1 --- a/doc-src/isar.sty	Wed Jan 02 16:07:16 2002 +0100
     1.2 +++ b/doc-src/isar.sty	Wed Jan 02 21:51:38 2002 +0100
     1.3 @@ -18,6 +18,10 @@
     1.4  \newcommand{\indexisarcase}[1]{\index{#1 (case)|bold}\index{Cases!#1|bold}}
     1.5  \newcommand{\indexisarant}[1]{\index{#1 (antiquotation)|bold}\index{Antiquotations!#1|bold}}
     1.6  
     1.7 +\newcommand{\indexisarcmdof}[2]{\index{#2 (#1 command)|bold}\index{Commands!#2 (#1)|bold}}
     1.8 +\newcommand{\indexisarmethof}[2]{\index{#2 (#1 method)|bold}\index{Methods!#2 (#1)|bold}}
     1.9 +\newcommand{\indexisarattof}[2]{\index{#2 (#1 attribute)|bold}\index{Attributes!#2 (#1)|bold}}
    1.10 +
    1.11  \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
    1.12  \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
    1.13  \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}
    1.14 @@ -29,6 +33,7 @@
    1.15  \newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~(#1)}}
    1.16  
    1.17  \newcommand{\AND}{\isarkeyword{and}}
    1.18 +\newcommand{\COROLLARYNAME}{\isarkeyword{corollary}}
    1.19  \newcommand{\LEMMANAME}{\isarkeyword{lemma}}
    1.20  \newcommand{\THEOREMNAME}{\isarkeyword{theorem}}
    1.21  \newcommand{\NOTENAME}{\isarkeyword{note}}
    1.22 @@ -77,6 +82,7 @@
    1.23  \newcommand{\SHOW}[2]{\isarkeyword{show}\I@optname{#1}~#2}
    1.24  \newcommand{\HENCE}[2]{\isarkeyword{hence}\I@optname{#1}~#2}
    1.25  \newcommand{\THUS}[2]{\isarkeyword{thus}\I@optname{#1}~#2}
    1.26 +\newcommand{\COROLLARY}[2]{\COROLLARYNAME\I@optname{#1}~#2}
    1.27  \newcommand{\LEMMA}[2]{\LEMMANAME\I@optname{#1}~#2}
    1.28  \newcommand{\THEOREM}[2]{\THEOREMNAME\I@optname{#1}~#2}
    1.29  \newcommand{\PROOF}[1]{\PROOFNAME\I@optmeth{#1}}