--- a/NEWS Sat Jul 27 21:50:30 2013 +0200
+++ b/NEWS Sat Jul 27 22:16:04 2013 +0200
@@ -136,7 +136,7 @@
- Only one fundamental fold combinator on finite set remains:
Finite_Set.fold :: ('a => 'b => 'b) => 'b => 'a set => 'b
This is now identity on infinite sets.
- - Locales (»mini packages«) for fundamental definitions with
+ - Locales ("mini packages") for fundamental definitions with
Finite_Set.fold: folding, folding_idem.
- Locales comm_monoid_set, semilattice_order_set and
semilattice_neutr_order_set for big operators on sets.