--- a/src/HOL/Bali/Example.thy Sat Aug 29 14:31:39 2009 +0200
+++ b/src/HOL/Bali/Example.thy Mon Aug 31 14:09:42 2009 +0200
@@ -1167,7 +1167,6 @@
apply (simp,rule assigned.select_convs)
apply (simp)
apply simp
-apply blast
apply simp
apply (simp add: intersect_ts_def)
done