doc-src/isar.sty
changeset 12623 7a33541fd81b
parent 12615 3ef6235a4a75
child 12966 6373b4d09325
     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}}