* Library: theory Accessible_Part has been move to main HOL.
authorwenzelm
Fri May 05 21:59:39 2006 +0200 (2006-05-05)
changeset 19572a4b3176f19dd
parent 19571 0d673faf560c
child 19573 340c466c9605
* Library: theory Accessible_Part has been move to main HOL.
NEWS
     1.1 --- a/NEWS	Fri May 05 19:32:35 2006 +0200
     1.2 +++ b/NEWS	Fri May 05 21:59:39 2006 +0200
     1.3 @@ -400,6 +400,8 @@
     1.4  * inductive and datatype: provide projections of mutual rules, bundled
     1.5  as foo_bar.inducts;
     1.6  
     1.7 +* Library: theory Accessible_Part has been move to main HOL.
     1.8 +
     1.9  * Library: added theory Coinductive_List of potentially infinite lists
    1.10  as greatest fixed-point.
    1.11