--- a/src/HOL/Hoare_Parallel/Graph.thy Wed Feb 12 08:35:57 2014 +0100
+++ b/src/HOL/Hoare_Parallel/Graph.thy Wed Feb 12 08:37:06 2014 +0100
@@ -53,6 +53,7 @@
apply(case_tac "list")
apply force
apply simp
+apply(rename_tac lista)
apply(rotate_tac -2)
apply(erule_tac x = "0" in all_dupE)
apply simp