author | webertj |
Wed, 10 Mar 2004 20:31:47 +0100 | |
changeset 14454 | 8a8330bef1f8 |
parent 14453 | 3397a69dfa4e |
child 14455 | 5c4a1e96efd6 |
--- a/src/HOL/Tools/refute_isar.ML Wed Mar 10 20:28:18 2004 +0100 +++ b/src/HOL/Tools/refute_isar.ML Wed Mar 10 20:31:47 2004 +0100 @@ -74,8 +74,8 @@ fun refute_params_trans args = let - fun add_params (thy, []) = thy - | add_params (thy, p::ps) = add_params (Refute.set_default_param p thy, ps) + fun add_params (thy, []) = thy + | add_params (thy, p::ps) = add_params (Refute.set_default_param p thy, ps) in Toplevel.theory (fn thy => let