--- a/src/HOL/IMP/Procs_Dyn_Vars_Dyn.thy Sun Feb 03 17:31:33 2013 +0100
+++ b/src/HOL/IMP/Procs_Dyn_Vars_Dyn.thy Mon Feb 04 09:06:20 2013 +0100
@@ -31,9 +31,6 @@
code_pred big_step .
-values "{map t [''x'',''y'',''z''] |t.
- (\<lambda>p. SKIP) \<turnstile> (CALL ''p'', <''x'' := 42, ''y'' := 43>) \<Rightarrow> t}"
-
-values "{map t [''x'',''y'',''z''] |t. (\<lambda>p. SKIP) \<turnstile> (test_com, <>) \<Rightarrow> t}"
+values "{map t [''x'',''y''] |t. (\<lambda>p. SKIP) \<turnstile> (test_com, <>) \<Rightarrow> t}"
end