# HG changeset patch
# User haftmann
# Date 1364068677 -3600
# Node ID 7edcc0618dae2a282760253c9660e4f882459c04
# Parent  f738e6dbd844e4d0f060b04492d08c9527458872
spelling

diff -r f738e6dbd844 -r 7edcc0618dae NEWS
--- a/NEWS	Sat Mar 23 20:50:39 2013 +0100
+++ b/NEWS	Sat Mar 23 20:57:57 2013 +0100
@@ -45,7 +45,7 @@
     Note that foundational constants comm_monoid_set.F and
     semilattice_set.F correspond to former combinators fold_image
     and fold1 respectively.  These are now gone.  You may use
-    those foundational counstants as substitutes, but it is
+    those foundational constants as substitutes, but it is
     preferable to interpret the above locales accordingly. 
   - Dropped class ab_semigroup_idem_mult (special case of lattice,
     no longer needed in connection with Finite_Set.fold etc.)