provide isabellep as a method

--- 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