--- a/src/HOL/Bali/Eval.thy Tue Sep 09 20:51:36 2014 +0200
+++ b/src/HOL/Bali/Eval.thy Tue Sep 09 20:51:36 2014 +0200
@@ -833,7 +833,7 @@
apply (erule eval_cases)
apply auto
apply (induct_tac "t")
-apply (induct_tac "a")
+apply (rename_tac a, induct_tac "a")
apply auto
done