| changeset 25883 | e60b59e7da3f |
| parent 25533 | 0140cc7b26ad |
| child 26744 | 7b9439678304 |
--- a/doc-src/isar.sty Thu Jan 10 05:43:20 2008 +0100 +++ b/doc-src/isar.sty Thu Jan 10 08:21:03 2008 +0100 @@ -79,6 +79,7 @@ \newcommand{\AXCLASS}{\isarkeyword{axclass}} \newcommand{\INSTANCE}{\isarkeyword{instance}} \newcommand{\INSTANTIATION}{\isarkeyword{instantiation}} +\newcommand{\OVERLOADING}{\isarkeyword{overloading}} \newcommand{\DECLARE}{\isarkeyword{declare}} \newcommand{\LEMMAS}{\isarkeyword{lemmas}} \newcommand{\THEOREMS}{\isarkeyword{theorems}}