--- a/src/HOLCF/IOA/meta_theory/CompoTraces.ML Mon Oct 17 23:10:10 2005 +0200
+++ b/src/HOLCF/IOA/meta_theory/CompoTraces.ML Mon Oct 17 23:10:13 2005 +0200
@@ -3,7 +3,7 @@
Author: Olaf Müller
*)
-simpset_ref () := simpset() setmksym (K NONE);
+change_simpset (fn ss => ss setmksym (K NONE));
(* ---------------------------------------------------------------- *)
section "mksch rewrite rules";
@@ -1223,4 +1223,4 @@
qed"compositionality_tr_modules";
-simpset_ref () := simpset() setmksym (SOME o symmetric_fun);
+change_simpset (fn ss => ss setmksym (SOME o symmetric_fun));