Correct order of defines in specification.

--- a/src/Pure/Isar/expression.ML	Tue Dec 09 21:27:00 2008 +0100
+++ b/src/Pure/Isar/expression.ML	Tue Dec 09 22:00:39 2008 +0100
@@ -774,7 +774,7 @@
 
     val loc_ctxt = thy' |>
       NewLocale.register_locale bname (extraTs, params)
-        (asm, defs) ([], [])
+        (asm, rev defs) ([], [])
         (map (fn n => (n, stamp ())) notes |> rev) (map (fn d => (d, stamp ())) deps' |> rev) |>
       NewLocale.init name;