# HG changeset patch
# User lammich <lammich@in.tum.de>
# Date 1379423894 -7200
# Node ID e6adad558def78bee5da292716f7f7f9a6bb7355
# Parent  1b55aeda0e468f9e152d84eec0d2536f03b80536
order_bot, order_top

diff -r 1b55aeda0e46 -r e6adad558def NEWS
--- a/NEWS	Tue Sep 17 14:10:33 2013 +0200
+++ b/NEWS	Tue Sep 17 15:18:14 2013 +0200
@@ -303,6 +303,10 @@
 conditionally-complete lattices and inner dense linorders which have
 more than one element.  INCOMPATIBILITY.
 
+* Introduced type classes order_top and order_bot. The old classes top 
+and bot only contain the syntax without assumptions. 
+INCOMPATIBILITY: Rename bot -> order_bot, top -> order_top
+
 * Introduce type classes "no_top" and "no_bot" for orderings without
 top and bottom elements.