# HG changeset patch
# User wenzelm
# Date 1120570788 -7200
# Node ID b8b2579a2509e6b28bc4e0c87b2a5d0151dff878
# Parent  05b986733a59e1f7f5705e2a8dd0f8b1821c68df
tuned;

diff -r 05b986733a59 -r b8b2579a2509 NEWS
--- a/NEWS	Tue Jul 05 14:07:08 2005 +0200
+++ b/NEWS	Tue Jul 05 15:39:48 2005 +0200
@@ -416,7 +416,7 @@
 the runtime).
 
 * Pure: structure OrdList (cf. Pure/General/ord_list.ML) provides a
-reasonably efficient light-weight implementation of lists as sets.
+reasonably efficient light-weight implementation of sets as lists.
 
 * Pure: more efficient orders for basic syntactic entities: added
 fast_string_ord, fast_indexname_ord, fast_term_ord; changed sort_ord