ANNOUNCE

--- a/ANNOUNCE	Fri Mar 01 18:12:16 2002 +0100
+++ b/ANNOUNCE	Fri Mar 01 22:28:59 2002 +0100
@@ -42,7 +42,7 @@
 
   * HOL/HoareParallel: large application concerning verification of
     parallel imperative programs (Owicki-Gries method, Rely-Guarantee
-    method, verification examples: garbage collection, mutual
+    method, including examples of garbage collection, mutual
     exclusion, etc.)
     (by Leonor Prensa Nieto).