ANNOUNCE
changeset 33881 d8958955ecb5
parent 33873 e9120a7b2779
child 33914 d17f447fec02
     1.1 --- a/ANNOUNCE	Tue Nov 24 10:33:21 2009 +0100
     1.2 +++ b/ANNOUNCE	Tue Nov 24 12:29:08 2009 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4  
     1.5  * HOL-Boogie: an interactive prover back-end for Boogie and VCC.
     1.6  
     1.7 -* HOL: Counterexample generator tool Nitpick based on the Kodkod
     1.8 +* HOL: counterexample generator tool Nitpick based on the Kodkod
     1.9  relational model finder.
    1.10  
    1.11  * HOL: predicate compiler turning inductive into (executable)