NEWS
changeset 67929 7f5b1b6f7f40
parent 67904 465f43a9f780
child 67994 271e2d84e7a3
     1.1 --- a/NEWS	Thu Mar 22 17:18:33 2018 +0100
     1.2 +++ b/NEWS	Fri Mar 23 10:52:00 2018 +0100
     1.3 @@ -194,6 +194,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Abstract bit operations as part of Main: push_bit, push_take,
     1.8 +push_drop.
     1.9 +
    1.10  * New, more general, axiomatization of complete_distrib_lattice. 
    1.11  The former axioms:
    1.12  "sup x (Inf X) = Inf (sup x ` X)" and "inf x (Sup X) = Sup (inf x ` X)"