Observe order of declaration when printing registrations.

--- a/src/Pure/Isar/locale.ML	Thu Oct 01 23:03:59 2009 +0200
+++ b/src/Pure/Isar/locale.ML	Thu Oct 15 22:06:43 2009 +0200
@@ -427,7 +427,7 @@
   in
     (case these_registrations thy name of
         [] => Pretty.str ("no interpretations")
-      | regs => Pretty.big_list "interpretations:" (map prt_reg regs))
+      | regs => Pretty.big_list "interpretations:" (map prt_reg (rev regs)))
     |> Pretty.writeln
   end;