src/HOL/HOL.thy

--- a/src/HOL/HOL.thy	Wed Mar 01 06:06:16 2006 +0100
+++ b/src/HOL/HOL.thy	Wed Mar 01 06:08:12 2006 +0100
@@ -918,6 +918,9 @@
 setup {* ContextRules.addSWrapper (fn tac => hyp_subst_tac' ORELSE' tac) *}
 
 setup Classical.setup
+
+setup ResAtpSet.setup
+
 setup clasetup
 
 declare ex_ex1I [rule del, intro! 2]