--- a/src/HOLCF/IOA/meta_theory/Traces.ML Thu Jan 08 18:09:07 1998 +0100
+++ b/src/HOLCF/IOA/meta_theory/Traces.ML Thu Jan 08 18:09:47 1998 +0100
@@ -7,6 +7,7 @@
*)
Delsimps (ex_simps @ all_simps);
+Delsimps [split_paired_Ex];
val exec_rws = [executions_def,is_exec_frag_def];