src/ZF/UNITY/Constrains.thy

--- a/src/ZF/UNITY/Constrains.thy	Thu Jun 02 09:17:38 2005 +0200
+++ b/src/ZF/UNITY/Constrains.thy	Thu Jun 02 13:17:06 2005 +0200
@@ -564,7 +564,7 @@
     rtac AlwaysI i THEN Force_tac i THEN constrains_tac i;
 *}
 
-method_setup constrains = {*
+method_setup safety = {*
     Method.ctxt_args (fn ctxt =>
         Method.METHOD (fn facts =>
             gen_constrains_tac (local_clasimpset_of ctxt) 1)) *}