consisten upper/lower case
authorhaftmann
Tue Nov 24 12:29:08 2009 +0100 (2009-11-24)
changeset 33881d8958955ecb5
parent 33880 6cc01403f78a
child 33882 9db7854eafc7
consisten upper/lower case
ANNOUNCE
     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)