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.
tuned message;
authorwenzelm
Fri, 29 Mar 2013 22:13:02 +0100
changeset 51579 ec3b78ce0758
parent 51578 969ad6538b8f
child 51580 64ef8260dc60
tuned message;
src/HOL/Orderings.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Orderings.thy	Fri Mar 29 11:32:07 2013 +0100
+++ b/src/HOL/Orderings.thy	Fri Mar 29 22:13:02 2013 +0100
@@ -428,7 +428,7 @@
       [Pretty.str s, Pretty.str ":", Pretty.brk 1,
        Pretty.enclose "(" ")" (Pretty.breaks (map pretty_term ts))];
   in
-    Pretty.writeln (Pretty.big_list "Order structures:" (map pretty_struct structs))
+    Pretty.writeln (Pretty.big_list "order structures:" (map pretty_struct structs))
   end;
isabelle