src/HOL/HoareParallel/Gar_Coll.thy
changeset 14398 c5c47703f763
parent 13624 17684cf64fda
child 15197 19e735596e51
     1.1 --- a/src/HOL/HoareParallel/Gar_Coll.thy	Thu Feb 19 10:41:32 2004 +0100
     1.2 +++ b/src/HOL/HoareParallel/Gar_Coll.thy	Thu Feb 19 15:57:34 2004 +0100
     1.3 @@ -496,7 +496,6 @@
     1.4  apply (erule disjE)
     1.5  apply(simp add:psubsetI)
     1.6   apply(force dest:subset_antisym)
     1.7 -apply force
     1.8  done
     1.9  
    1.10  subsection {* Interference Freedom *}