# HG changeset patch
# User wenzelm
# Date 877708943 -7200
# Node ID 6b8abfdf3ec47053d15ee138e4256b79efd3b35d
# Parent  b6a3c2665c450d3eed302626926aafbf64ac5c18
oops, swap warnings;

diff -r b6a3c2665c45 -r 6b8abfdf3ec4 src/Pure/pure_thy.ML
--- 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),