diff -r d004b791218e -r bdce320cd426 src/Pure/Isar/object_logic.ML
--- a/src/Pure/Isar/object_logic.ML	Thu Mar 27 15:32:12 2008 +0100
+++ b/src/Pure/Isar/object_logic.ML	Thu Mar 27 15:32:15 2008 +0100
@@ -193,7 +193,7 @@
 val declare_atomize = Thm.declaration_attribute (fn th => Context.mapping (add_atomize th) I);
 val declare_rulify = Thm.declaration_attribute (fn th => Context.mapping (add_rulify th) I);
 
-val _ = Context.add_setup (add_rulify Drule.norm_hhf_eq);
+val _ = Context.>> (add_rulify Drule.norm_hhf_eq);
 
 
 (* atomize *)