1.1 --- a/doc-src/IsarImplementation/style.sty	Thu Jul 06 15:21:33 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Thu Jul 06 16:49:36 2006 +0200
     1.3 @@ -53,6 +53,7 @@
     1.4  \newcommand{\isasymCONSTS}{\isakeyword{consts}}
     1.5  \newcommand{\isasymDEFS}{\isakeyword{defs}}
     1.6  \newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
     1.7 +\newcommand{\isasymDEFINITION}{\isakeyword{definition}}
     1.8  
     1.9  \isabellestyle{it}
    1.10