ANNOUNCE

--- a/ANNOUNCE	Mon Mar 04 13:56:12 2002 +0100
+++ b/ANNOUNCE	Mon Mar 04 14:27:10 2002 +0100
@@ -42,8 +42,7 @@
 
   * HOL/HoareParallel: large application concerning verification of
     parallel imperative programs (Owicki-Gries method, Rely-Guarantee
-    method, including examples of garbage collection, mutual
-    exclusion, etc.)
+    method, examples of garbage collection, mutual exclusion, etc.)
     (by Leonor Prensa Nieto).
 
   * HOL/GroupTheory: group theory examples including Sylow's theorem