# HG changeset patch
# User haftmann
# Date 1288783233 -3600
# Node ID e484bacfbe641fea9fa101953090dda4bc3e36d6
# Parent  429bf4388b2f4ef62fd74ad2b6f7fa37ecd745d9
Theory Multiset provides stable quicksort implementation of sort_key.

diff -r 429bf4388b2f -r e484bacfbe64 NEWS
--- a/NEWS	Wed Nov 03 12:15:47 2010 +0100
+++ b/NEWS	Wed Nov 03 12:20:33 2010 +0100
@@ -82,6 +82,8 @@
 
 *** HOL ***
 
+* Theory Multiset provides stable quicksort implementation of sort_key.
+
 * Quickcheck now has a configurable time limit which is set to 30 seconds
 by default. This can be changed by adding [timeout = n] to the quickcheck
 command. The time limit for auto quickcheck is still set independently,