changeset 13010 | 3437d8d89803 |
parent 13007 | 0940d19b2e2b |
child 13042 | d8a345d9e067 |
--- a/ANNOUNCE Mon Mar 04 13:56:12 2002 +0100 +++ b/ANNOUNCE Mon Mar 04 14:27:10 2002 +0100 @@ -42,8 +42,7 @@ * HOL/HoareParallel: large application concerning verification of parallel imperative programs (Owicki-Gries method, Rely-Guarantee - method, including examples of garbage collection, mutual - exclusion, etc.) + method, examples of garbage collection, mutual exclusion, etc.) (by Leonor Prensa Nieto). * HOL/GroupTheory: group theory examples including Sylow's theorem