--- a/NEWS	Sat Mar 23 07:30:53 2013 +0100
+++ b/NEWS	Sat Mar 23 17:11:06 2013 +0100
@@ -33,6 +33,8 @@
 
 *** HOL ***
 
+* Locale hierarchy for abstract orderings and (semi)lattices.
+
 * Discontinued theory src/HOL/Library/Eval_Witness.
 INCOMPATIBILITY.
changeset 51487	f4bfdee99304
parent 51417	d266f9329368
child 51489	f738e6dbd844