# HG changeset patch
# User blanchet
# Date 1307385394 -7200
# Node ID 27dcda8fc89b3c6d01bf300c984c7717400f80af
# Parent  d4f347508cd4c77d1a77773ee5196b1c11b425e8
tuned CASC method

diff -r d4f347508cd4 -r 27dcda8fc89b src/HOL/ex/CASC_Setup.thy
--- a/src/HOL/ex/CASC_Setup.thy	Mon Jun 06 20:36:34 2011 +0200
+++ b/src/HOL/ex/CASC_Setup.thy	Mon Jun 06 20:36:34 2011 +0200
@@ -63,8 +63,8 @@
 *}
 
 method_setup isabellep = {*
-  Scan.lift Parse.nat >>
+  Scan.lift (Scan.optional Parse.nat 1) >>
     (fn m => fn ctxt => SIMPLE_METHOD (isabellep_tac ctxt m))
-*} ""
+*} "combination of Isabelle provers and oracles for CASC"
 
 end