--- a/src/HOLCF/IOA/meta_theory/Automata.ML Thu Jan 08 18:09:07 1998 +0100
+++ b/src/HOLCF/IOA/meta_theory/Automata.ML Thu Jan 08 18:09:47 1998 +0100
@@ -8,6 +8,7 @@
(* Has been removed from HOL-simpset, who knows why? *)
Addsimps [Let_def];
+Delsimps [split_paired_Ex];
open reachable;