doc-src/isar.sty
changeset 20379 154d8c155a65
parent 19994 669a1a609544
child 24991 c6f5cc939c29
     1.1 --- a/doc-src/isar.sty	Mon Aug 14 13:46:03 2006 +0200
     1.2 +++ b/doc-src/isar.sty	Mon Aug 14 13:46:05 2006 +0200
     1.3 @@ -82,6 +82,7 @@
     1.4  \newcommand{\LEMMAS}{\isarkeyword{lemmas}}
     1.5  \newcommand{\THEOREMS}{\isarkeyword{theorems}}
     1.6  \newcommand{\LOCALE}{\isarkeyword{locale}}
     1.7 +\newcommand{\CLASS}{\isarkeyword{class}}
     1.8  \newcommand{\TEXT}{\isarkeyword{text}}
     1.9  \newcommand{\TXT}{\isarkeyword{txt}}
    1.10  \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}