--- a/NEWS Thu Mar 06 23:30:36 2008 +0100
+++ b/NEWS Fri Mar 07 13:53:00 2008 +0100
@@ -40,9 +40,13 @@
*** HOL ***
+* Library/Option_ord.thy: Canonical order on option type.
+
* Library/RBT.thy: New theory of red-black trees, an efficient
implementation of finite maps.
+* Library/Countable.thy: Type class for countable types.
+
* Theory Int: The representation of numerals has changed. The infix
operator BIT and the bit datatype with constructors B0 and B1 have
disappeared. INCOMPATIBILITY, use "Int.Bit0 x" and "Int.Bit1 y" in
@@ -5243,4 +5247,5 @@
types;
:mode=text:wrap=hard:maxLineLen=72:
+
$Id$