--- 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