src/Sequents/S4.thy

--- a/src/Sequents/S4.thy	Wed Nov 29 15:44:56 2006 +0100
+++ b/src/Sequents/S4.thy	Wed Nov 29 15:44:57 2006 +0100
@@ -45,7 +45,7 @@
 *}
 
 method_setup S4_solve =
-{* Method.no_args (Method.SIMPLE_METHOD (S4_Prover.solve_tac 2)) *} "S4 solver"
+  {* Method.no_args (Method.SIMPLE_METHOD (S4_Prover.solve_tac 2)) *} "S4 solver"
 
 
 (* Theorems of system T from Hughes and Cresswell and Hailpern, LNCS 129 *)