# HG changeset patch
# User wenzelm
# Date 1010076946 -3600
# Node ID 7a33541fd81bee67a23a67d6c4f0e981c910b769
# Parent  7592926925d4496cc584549ecff03771218a9397
\CONSTDEFS;

diff -r 7592926925d4 -r 7a33541fd81b doc-src/isar.sty
--- 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}}