fixed typo
authorhaftmann
Mon Oct 29 17:08:01 2007 +0100 (2007-10-29)
changeset 252292673709fb8f7
parent 25228 59afe8a0a7e1
child 25230 022029099a83
fixed typo
ANNOUNCE
     1.1 --- a/ANNOUNCE	Mon Oct 29 16:46:22 2007 +0100
     1.2 +++ b/ANNOUNCE	Mon Oct 29 17:08:01 2007 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4  * New 'class' package combination of axclass + locale interpretation.
     1.5  
     1.6  * Built-in Metis prover, external linkup for automated provers, and
     1.7 -'sledghammer' command for automated proof synthesis.
     1.8 +'sledgehammer' command for automated proof synthesis.
     1.9  
    1.10  * Full list comprehension syntax.
    1.11