1.1 --- a/doc-src/isar.sty Sun Oct 15 19:50:35 2000 +0200
1.2 +++ b/doc-src/isar.sty Sun Oct 15 19:50:59 2000 +0200
1.3 @@ -43,6 +43,7 @@
1.4 \newcommand{\PROOFNAME}{\isarkeyword{proof}}
1.5 \newcommand{\QEDNAME}{\isarkeyword{qed}}
1.6 \newcommand{\BYNAME}{\isarkeyword{by}}
1.7 +\newcommand{\APPLYNAME}{\isarkeyword{apply}}
1.8 \newcommand{\ISNAME}{\isarkeyword{is}}
1.9 \newcommand{\CONCLNAME}{\isarkeyword{concl}}
1.10 \newcommand{\LETNAME}{\isarkeyword{let}}
1.11 @@ -57,6 +58,9 @@
1.12 \newcommand{\TYPES}{\isarkeyword{types}}
1.13 \newcommand{\CONSTS}{\isarkeyword{consts}}
1.14 \newcommand{\DEFS}{\isarkeyword{defs}}
1.15 +\newcommand{\AXCLASS}{\isarkeyword{axclass}}
1.16 +\newcommand{\INSTANCE}{\isarkeyword{instance}}
1.17 +\newcommand{\DECLARE}{\isarkeyword{declare}}
1.18 \newcommand{\TEXT}{\isarkeyword{text}}
1.19 \newcommand{\TXT}{\isarkeyword{txt}}
1.20 \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}
1.21 @@ -77,6 +81,8 @@
1.22 \newcommand{\QED}[1]{\QEDNAME\I@optmeth{#1}}
1.23 \newcommand{\BY}[1]{\BYNAME\I@optmeth{#1}}
1.24 \newcommand{\BYY}[2]{\BYNAME\I@optmeth{#1}\I@optmeth{#2}}
1.25 +\newcommand{\APPLY}[1]{\APPLYNAME\I@optmeth{#1}}
1.26 +\newcommand{\DONE}{\isarkeyword{done}}
1.27 \newcommand{\DOT}{\isarkeyword{.}}
1.28 \newcommand{\DDOT}{\isarkeyword{.\,.}}
1.29 \newcommand{\DDDOT}{\dots}