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}}