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