1.1 --- a/doc-src/isar.sty	Wed Dec 05 04:34:15 2007 +0100
     1.2 +++ b/doc-src/isar.sty	Wed Dec 05 14:15:39 2007 +0100
     1.3 @@ -78,6 +78,7 @@
     1.4  \newcommand{\DEFS}{\isarkeyword{defs}}
     1.5  \newcommand{\AXCLASS}{\isarkeyword{axclass}}
     1.6  \newcommand{\INSTANCE}{\isarkeyword{instance}}
     1.7 +\newcommand{\INSTANTIATION}{\isarkeyword{instantiation}}
     1.8  \newcommand{\DECLARE}{\isarkeyword{declare}}
     1.9  \newcommand{\LEMMAS}{\isarkeyword{lemmas}}
    1.10  \newcommand{\THEOREMS}{\isarkeyword{theorems}}