| changeset 30549 | d2d7874648bd |
| parent 30510 | 4120fc59dd85 |
| child 35113 | 1a0c129bb2e0 |
--- a/src/Sequents/S43.thy Mon Mar 16 17:51:24 2009 +0100 +++ b/src/Sequents/S43.thy Mon Mar 16 18:24:30 2009 +0100 @@ -92,8 +92,8 @@ method_setup S43_solve = {* - Method.no_args (SIMPLE_METHOD - (S43_Prover.solve_tac 2 ORELSE S43_Prover.solve_tac 3)) + Scan.succeed (K (SIMPLE_METHOD + (S43_Prover.solve_tac 2 ORELSE S43_Prover.solve_tac 3))) *} "S4 solver"