Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/overloading.ML
changeset 55763 4b3907cb5654
parent 55304 55ac31bc08a4
child 56056 4d46d53566e6 
--- a/src/Pure/Isar/overloading.ML	Wed Feb 26 10:45:06 2014 +0100
+++ b/src/Pure/Isar/overloading.ML	Wed Feb 26 10:53:19 2014 +0100
@@ -173,7 +173,7 @@
       Pretty.block (Pretty.breaks
         [Pretty.str v, Pretty.str "==", Proof_Context.pretty_const lthy c,
           Pretty.str "::", Syntax.pretty_typ lthy ty]);
-  in Pretty.command "overloading" :: map pr_operation overloading end;
+  in Pretty.keyword1 "overloading" :: map pr_operation overloading end;
 
 fun conclude lthy =
   let
isabelle