# HG changeset patch
# User haftmann
# Date 1204894380 -3600
# Node ID cd9d7f449369b899aded9e09afb9f35c608e5f33
# Parent  ba4f5954843dee4ad5e5b5bc10078dae08e71c8c
added entries

diff -r ba4f5954843d -r cd9d7f449369 NEWS
--- 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$