diff -r 33124a9f5e31 -r 553d48cac687 doc-src/IsarImplementation/style.sty
--- a/doc-src/IsarImplementation/style.sty	Thu Jul 06 15:21:33 2006 +0200
+++ b/doc-src/IsarImplementation/style.sty	Thu Jul 06 16:49:36 2006 +0200
@@ -53,6 +53,7 @@
 \newcommand{\isasymCONSTS}{\isakeyword{consts}}
 \newcommand{\isasymDEFS}{\isakeyword{defs}}
 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
+\newcommand{\isasymDEFINITION}{\isakeyword{definition}}
 
 \isabellestyle{it}