changeset 30510 | 4120fc59dd85 |
parent 21426 | 87ac12bed1ab |
child 30549 | d2d7874648bd |
--- a/src/Sequents/S43.thy Fri Mar 13 19:53:09 2009 +0100 +++ b/src/Sequents/S43.thy Fri Mar 13 19:58:26 2009 +0100 @@ -92,7 +92,7 @@ method_setup S43_solve = {* - Method.no_args (Method.SIMPLE_METHOD + Method.no_args (SIMPLE_METHOD (S43_Prover.solve_tac 2 ORELSE S43_Prover.solve_tac 3)) *} "S4 solver"