| changeset 21590 | ef7278f553eb |
| parent 21426 | 87ac12bed1ab |
| child 30510 | 4120fc59dd85 |
--- a/src/Sequents/T.thy Wed Nov 29 15:44:56 2006 +0100 +++ b/src/Sequents/T.thy Wed Nov 29 15:44:57 2006 +0100 @@ -44,7 +44,7 @@ *} method_setup T_solve = -{* Method.no_args (Method.SIMPLE_METHOD (T_Prover.solve_tac 2)) *} "T solver" + {* Method.no_args (Method.SIMPLE_METHOD (T_Prover.solve_tac 2)) *} "T solver" (* Theorems of system T from Hughes and Cresswell and Hailpern, LNCS 129 *)