
diff -r b33b42211bbf -r 188826f1ccdb Nominal/Ex/CPS/Lt.thy
--- a/Nominal/Ex/CPS/Lt.thy	Thu Mar 13 09:30:26 2014 +0000
+++ b/Nominal/Ex/CPS/Lt.thy	Mon Mar 24 15:31:17 2014 +0000
@@ -24,7 +24,6 @@
   apply(rule_tac y="a" and c="(aa, b)" in lt.strong_exhaust)
   apply blast
   apply(simp_all add: fresh_star_def fresh_Pair_elim)
-  apply blast
   apply (erule_tac c="(ya,sa)" in Abs_lst1_fcb2)
   apply(simp add: Abs_fresh_iff)
   apply(simp add: fresh_star_def fresh_Pair)




