\CONSTDEFS;
authorwenzelm
Thu Jan 03 17:55:46 2002 +0100 (2002-01-03)
changeset 126237a33541fd81b
parent 12622 7592926925d4
child 12624 9ed65232429c
\CONSTDEFS;
doc-src/isar.sty
     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}}