1.1 --- a/ANNOUNCE	Fri Mar 01 14:11:43 2002 +0100
     1.2 +++ b/ANNOUNCE	Fri Mar 01 16:24:43 2002 +0100
     1.3 @@ -40,8 +40,10 @@
     1.4    * HOL/Bali: large application concerning formal treatment of Java.
     1.5      (by David von Oheimb and Norbert Schirmer).
     1.6  
     1.7 -  * HOL/Hoare_Parallel: large application concerning verification of
     1.8 -    parallel imperative programs (Owicki-Gries method etc.)
     1.9 +  * HOL/HoareParallel: large application concerning verification of
    1.10 +    parallel imperative programs (Owicki-Gries method, Rely-Guarantee
    1.11 +    method, verification examples: garbage collection, mutual
    1.12 +    exclusion, etc.)
    1.13      (by Leonor Prensa Nieto).
    1.14  
    1.15    * HOL/GroupTheory: group theory examples including Sylow's theorem