Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
\CONSTDEFS;
authorwenzelm
Thu, 03 Jan 2002 17:55:46 +0100
changeset 12623 7a33541fd81b
parent 12622 7592926925d4
child 12624 9ed65232429c
\CONSTDEFS;
doc-src/isar.sty file | annotate | diff | comparison | revisions 
--- 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}}
isabelle