NEWS
changeset 68027 64559e1ca05b
parent 68003 9b89d831dc80
child 68028 1f9f973eed2a
     1.1 --- a/NEWS	Tue Apr 24 11:07:18 2018 +0200
     1.2 +++ b/NEWS	Tue Apr 24 14:17:57 2018 +0000
     1.3 @@ -196,8 +196,8 @@
     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 +* Abstract bit operations as part of Main: push_bit, take_bit,
    1.10 +drop_bit.
    1.11  
    1.12  * New, more general, axiomatization of complete_distrib_lattice. 
    1.13  The former axioms: