ANNOUNCE

--- a/ANNOUNCE	Mon Oct 29 16:46:22 2007 +0100
+++ b/ANNOUNCE	Mon Oct 29 17:08:01 2007 +0100
@@ -28,7 +28,7 @@
 * New 'class' package combination of axclass + locale interpretation.
 
 * Built-in Metis prover, external linkup for automated provers, and
-'sledghammer' command for automated proof synthesis.
+'sledgehammer' command for automated proof synthesis.
 
 * Full list comprehension syntax.