replaced setsolver ... by addsolver

--- a/src/HOLCF/Cfun3.ML	Thu Jul 11 15:30:22 1996 +0200
+++ b/src/HOLCF/Cfun3.ML	Fri Jul 12 16:52:29 1996 +0200
@@ -391,7 +391,4 @@
 (* use cont_tac as autotac.                                                *)
 (* ------------------------------------------------------------------------ *)
 
-simpset := !simpset setsolver 
-           (fn thms => (resolve_tac (TrueI::refl::thms)) ORELSE' atac ORELSE'
-                       (fn i => DEPTH_SOLVE_1 (cont_tac i))
-           );
+simpset := !simpset addsolver (K (DEPTH_SOLVE_1 o cont_tac i));