ANNOUNCE
changeset 13010 3437d8d89803
parent 13007 0940d19b2e2b
child 13042 d8a345d9e067
     1.1 --- a/ANNOUNCE	Mon Mar 04 13:56:12 2002 +0100
     1.2 +++ b/ANNOUNCE	Mon Mar 04 14:27:10 2002 +0100
     1.3 @@ -42,8 +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, including examples of garbage collection, mutual
     1.8 -    exclusion, etc.)
     1.9 +    method, examples of garbage collection, mutual exclusion, etc.)
    1.10      (by Leonor Prensa Nieto).
    1.11  
    1.12    * HOL/GroupTheory: group theory examples including Sylow's theorem