1.1 --- a/doc-src/isar.sty	Thu Jan 10 05:43:20 2008 +0100
     1.2 +++ b/doc-src/isar.sty	Thu Jan 10 08:21:03 2008 +0100
     1.3 @@ -79,6 +79,7 @@
     1.4  \newcommand{\AXCLASS}{\isarkeyword{axclass}}
     1.5  \newcommand{\INSTANCE}{\isarkeyword{instance}}
     1.6  \newcommand{\INSTANTIATION}{\isarkeyword{instantiation}}
     1.7 +\newcommand{\OVERLOADING}{\isarkeyword{overloading}}
     1.8  \newcommand{\DECLARE}{\isarkeyword{declare}}
     1.9  \newcommand{\LEMMAS}{\isarkeyword{lemmas}}
    1.10  \newcommand{\THEOREMS}{\isarkeyword{theorems}}