changeset 12623 | 7a33541fd81b |
parent 12615 | 3ef6235a4a75 |
child 12966 | 6373b4d09325 |
--- a/doc-src/isar.sty Thu Jan 03 17:50:53 2002 +0100 +++ b/doc-src/isar.sty Thu Jan 03 17:55:46 2002 +0100 @@ -64,6 +64,7 @@ \newcommand{\TYPES}{\isarkeyword{types}} \newcommand{\CONSTS}{\isarkeyword{consts}} +\newcommand{\CONSTDEFS}{\isarkeyword{constdefs}} \newcommand{\DEFS}{\isarkeyword{defs}} \newcommand{\AXCLASS}{\isarkeyword{axclass}} \newcommand{\INSTANCE}{\isarkeyword{instance}}