NEWS
changeset 49190 e1e1d427747d
parent 49189 3f85cd15a0cc
child 49243 ded41f584938
     1.1 --- a/NEWS	Fri Sep 07 08:20:18 2012 +0200
     1.2 +++ b/NEWS	Fri Sep 07 08:20:18 2012 +0200
     1.3 @@ -41,6 +41,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Theory "Library/Option_ord" provides instantiation of option type
     1.8 +to lattice type classes.
     1.9 +
    1.10  * New combinator "Option.these" with type "'a option set => 'a option".
    1.11  
    1.12  * Renamed theory Library/List_Prefix to Library/Sublist.