changeset 4098 | 71e05eb27fb6 |
parent 3661 | 1ea4a45b9412 |
child 7570 | a9391550eea1 |
--- a/src/HOLCF/HOLCF.ML Mon Nov 03 12:36:48 1997 +0100 +++ b/src/HOLCF/HOLCF.ML Mon Nov 03 14:06:27 1997 +0100 @@ -8,7 +8,7 @@ use"adm.ML"; -simpset := !simpset addSolver(fn thms => +simpset_ref() := simpset() addSolver(fn thms => (adm_tac (cut_facts_tac thms THEN' cont_tacRs))); -val HOLCF_ss = !simpset; +val HOLCF_ss = simpset();