# 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}}