# HG changeset patch # User haftmann # Date 1199949663 -3600 # Node ID e60b59e7da3f6d7d643e791832493a2a950d39f1 # Parent c58e380d9f7dd8531439fe47411340f7a54173ed added overloading target diff -r c58e380d9f7d -r e60b59e7da3f doc-src/isar.sty --- 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}}