1.1 --- a/src/HOL/Orderings.thy	Fri Mar 29 11:32:07 2013 +0100
     1.2 +++ b/src/HOL/Orderings.thy	Fri Mar 29 22:13:02 2013 +0100
     1.3 @@ -428,7 +428,7 @@
     1.4        [Pretty.str s, Pretty.str ":", Pretty.brk 1,
     1.5         Pretty.enclose "(" ")" (Pretty.breaks (map pretty_term ts))];
     1.6    in
     1.7 -    Pretty.writeln (Pretty.big_list "Order structures:" (map pretty_struct structs))
     1.8 +    Pretty.writeln (Pretty.big_list "order structures:" (map pretty_struct structs))
     1.9    end;
    1.10  
    1.11