changeset 25229 | 2673709fb8f7 |
parent 25228 | 59afe8a0a7e1 |
child 25242 | 6c3890cbceac |
--- 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.