changeset 15197 | 19e735596e51 |
parent 13187 | e5434b822a96 |
child 15247 | 98d3ca56684d |
--- a/src/HOL/HoareParallel/Mul_Gar_Coll.thy Fri Sep 10 14:54:54 2004 +0200 +++ b/src/HOL/HoareParallel/Mul_Gar_Coll.thy Fri Sep 10 20:04:14 2004 +0200 @@ -202,7 +202,6 @@ apply(simp_all add:nth_list_update) apply (erule less_SucE) apply simp+ - apply(drule le_imp_less_or_eq) apply force apply force done