| changeset 20024 | 553d48cac687 |
| parent 18554 | bff7a1466fe4 |
| child 20448 | 8aa6ff178f36 |
--- 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}