# HG changeset patch
# User blanchet
# Date 1305637896 -7200
# Node ID 8bfdcaf3055198ae6cb1718e96f0ed0ce3f2317f
# Parent  be0e66ccebfa826c306b8ff63679cf1636639b15
provide isabellep as a method

diff -r be0e66ccebfa -r 8bfdcaf30551 src/HOL/ex/CASC_Setup.thy
--- a/src/HOL/ex/CASC_Setup.thy	Tue May 17 15:11:36 2011 +0200
+++ b/src/HOL/ex/CASC_Setup.thy	Tue May 17 15:11:36 2011 +0200
@@ -62,4 +62,9 @@
    SOLVE_TIMEOUT max_secs "fastsimp" (ALLGOALS (fast_simp_tac ctxt))
 *}
 
+method_setup isabellep = {*
+  Scan.lift Parse.nat >>
+    (fn m => fn ctxt => SIMPLE_METHOD (isabellep_tac ctxt m))
+*} ""
+
 end