Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added overloading target
authorhaftmann
Thu, 10 Jan 2008 08:21:03 +0100
changeset 25883 e60b59e7da3f
parent 25882 c58e380d9f7d
child 25884 a69e665b7df8
added overloading target
doc-src/isar.sty file | annotate | diff | comparison | revisions 
--- 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}}
isabelle