# HG changeset patch
# User mengj
# Date 1141189692 -3600
# Node ID 67436e2a16df5674adc80de4be4657c9bae648a7
# Parent  b395f586633f21567f457a1576154fe7e1936d8c
Added setup for "atpset" (a rule set for ATPs).

diff -r b395f586633f -r 67436e2a16df 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]