# HG changeset patch
# User haftmann
# Date 1193674081 -3600
# Node ID 2673709fb8f770a9791909c1c5371ee984c6a575
# Parent  59afe8a0a7e1173d8e3dccb590d6355dfd5a1e95
fixed typo

diff -r 59afe8a0a7e1 -r 2673709fb8f7 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.