# HG changeset patch
# User nipkow
# Date 1013685842 -3600
# Node ID 1de4f0b824a8f14a4f451e410488d3e2a7395333
# Parent  f6c1e7306c4099ce8986d95d77b3651d73c24ea5
*** empty log message ***

diff -r f6c1e7306c40 -r 1de4f0b824a8 NEWS
--- a/NEWS	Thu Feb 14 12:06:07 2002 +0100
+++ b/NEWS	Thu Feb 14 12:24:02 2002 +0100
@@ -1,4 +1,3 @@
-
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
@@ -224,6 +223,8 @@
 
 * HOL: linorder_less_split superseded by linorder_cases;
 
+* HOL/List: "nodups" renamed to "distinct"
+
 * HOL: added "The" definite description operator; move Hilbert's "Eps"
 to peripheral theory "Hilbert_Choice";