more elements;
authorwenzelm
Sun Oct 15 19:50:59 2000 +0200 (2000-10-15)
changeset 102217171f8ace3c1
parent 10220 2a726de6e124
child 10222 027a6f43e408
more elements;
doc-src/isar.sty
     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}