diff -r d9da3015aab4 -r 7ac0a7e306db ANNOUNCE
--- a/ANNOUNCE	Fri Mar 01 14:11:43 2002 +0100
+++ b/ANNOUNCE	Fri Mar 01 16:24:43 2002 +0100
@@ -40,8 +40,10 @@
   * HOL/Bali: large application concerning formal treatment of Java.
     (by David von Oheimb and Norbert Schirmer).
 
-  * HOL/Hoare_Parallel: large application concerning verification of
-    parallel imperative programs (Owicki-Gries method etc.)
+  * HOL/HoareParallel: large application concerning verification of
+    parallel imperative programs (Owicki-Gries method, Rely-Guarantee
+    method, verification examples: garbage collection, mutual
+    exclusion, etc.)
     (by Leonor Prensa Nieto).
 
   * HOL/GroupTheory: group theory examples including Sylow's theorem