src/HOL/Bali/Example.thy
changeset 32456 341c83339aeb
parent 31197 c1c163ec6c44
child 32960 69916a850301
     1.1 --- a/src/HOL/Bali/Example.thy	Sat Aug 29 14:31:39 2009 +0200
     1.2 +++ b/src/HOL/Bali/Example.thy	Mon Aug 31 14:09:42 2009 +0200
     1.3 @@ -1167,7 +1167,6 @@
     1.4  apply    (simp,rule assigned.select_convs)
     1.5  apply   (simp)
     1.6  apply  simp
     1.7 -apply  blast
     1.8  apply simp
     1.9  apply (simp add: intersect_ts_def)
    1.10  done