author | wenzelm |
Thu, 03 Jan 2002 17:55:46 +0100 | |
changeset 12623 | 7a33541fd81b |
parent 12622 | 7592926925d4 |
child 12624 | 9ed65232429c |
doc-src/isar.sty | file | annotate | diff | comparison | revisions |
1.1 --- a/doc-src/isar.sty Thu Jan 03 17:50:53 2002 +0100 1.2 +++ b/doc-src/isar.sty Thu Jan 03 17:55:46 2002 +0100 1.3 @@ -64,6 +64,7 @@ 1.4 1.5 \newcommand{\TYPES}{\isarkeyword{types}} 1.6 \newcommand{\CONSTS}{\isarkeyword{consts}} 1.7 +\newcommand{\CONSTDEFS}{\isarkeyword{constdefs}} 1.8 \newcommand{\DEFS}{\isarkeyword{defs}} 1.9 \newcommand{\AXCLASS}{\isarkeyword{axclass}} 1.10 \newcommand{\INSTANCE}{\isarkeyword{instance}}