diff -r fd30d75a6614 -r 12320f6e2523 src/Pure/Isar/method.ML
--- a/src/Pure/Isar/method.ML	Thu May 24 07:27:44 2007 +0200
+++ b/src/Pure/Isar/method.ML	Thu May 24 08:37:37 2007 +0200
@@ -423,7 +423,7 @@
     val new_meths = raw_meths |> map (fn (name, f, comment) =>
       (name, ((f, comment), stamp ())));
 
-    fun add meths = NameSpace.extend_table (Sign.naming_of thy) (meths, new_meths)
+    fun add meths = NameSpace.extend_table (Sign.naming_of thy) new_meths meths
       handle Symtab.DUPS dups =>
         error ("Duplicate declaration of method(s) " ^ commas_quote dups);
   in MethodsData.map add thy end;