--- a/src/HOL/HoareParallel/Gar_Coll.thy Fri Sep 10 14:54:54 2004 +0200
+++ b/src/HOL/HoareParallel/Gar_Coll.thy Fri Sep 10 20:04:14 2004 +0200
@@ -128,7 +128,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