--- a/src/HOLCF/IOA/Storage/Correctness.thy Thu Feb 18 12:36:09 2010 -0800
+++ b/src/HOLCF/IOA/Storage/Correctness.thy Thu Feb 18 13:29:59 2010 -0800
@@ -18,7 +18,6 @@
in
(! l:used. l < k) & b=c}"
-declare split_paired_All [simp]
declare split_paired_Ex [simp del]