doc-src/isar.sty
changeset 24991 c6f5cc939c29
parent 20379 154d8c155a65
child 25533 0140cc7b26ad
     1.1 --- a/doc-src/isar.sty	Thu Oct 11 23:03:51 2007 +0200
     1.2 +++ b/doc-src/isar.sty	Fri Oct 12 08:20:43 2007 +0200
     1.3 @@ -83,6 +83,7 @@
     1.4  \newcommand{\THEOREMS}{\isarkeyword{theorems}}
     1.5  \newcommand{\LOCALE}{\isarkeyword{locale}}
     1.6  \newcommand{\CLASS}{\isarkeyword{class}}
     1.7 +\newcommand{\SUBCLASS}{\isarkeyword{subclass}}
     1.8  \newcommand{\TEXT}{\isarkeyword{text}}
     1.9  \newcommand{\TXT}{\isarkeyword{txt}}
    1.10  \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}