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