oops, swap warnings;

--- a/src/Pure/pure_thy.ML	Fri Oct 24 17:28:20 1997 +0200
+++ b/src/Pure/pure_thy.ML	Fri Oct 24 18:02:23 1997 +0200
@@ -130,8 +130,8 @@
         if NameSpace.declared space name then err_dup name else ()
     | Some thms' =>
         if length thms' = len andalso eq_thms (thms', named_thms) then
-          warn_overwrite name
-        else warn_same name);
+          warn_same name
+        else warn_overwrite name);
 
     r :=
      {space = NameSpace.extend ([name], space),