Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 05 Jul 2005 15:39:48 +0200
changeset 16690 b8b2579a2509
parent 16689 05b986733a59
child 16691 539b9cc282fa
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle