src/FOL/simpdata.ML
changeset 7570 a9391550eea1
parent 7355 4c43090659ca
child 8472 50a653f8b8ea
     1.1 --- a/src/FOL/simpdata.ML	Tue Sep 21 19:10:39 1999 +0200
     1.2 +++ b/src/FOL/simpdata.ML	Tue Sep 21 19:11:07 1999 +0200
     1.3 @@ -325,8 +325,8 @@
     1.4  (*No simprules, but basic infastructure for simplification*)
     1.5  val FOL_basic_ss = empty_ss setsubgoaler asm_simp_tac
     1.6                              addsimprocs [defALL_regroup,defEX_regroup]
     1.7 -			    setSSolver   safe_solver
     1.8 -			    setSolver  unsafe_solver
     1.9 +			    setSSolver  (mk_solver "FOL safe" safe_solver)
    1.10 +			    setSolver  (mk_solver "FOL unsafe" unsafe_solver)
    1.11  			    setmksimps (mksimps mksimps_pairs);
    1.12  
    1.13