corrected nonsense
authorhaftmann
Tue Apr 24 14:17:57 2018 +0000 (14 months ago)
changeset 6802764559e1ca05b
parent 68026 a8ee8e4884ec
child 68028 1f9f973eed2a
corrected nonsense
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Tue Apr 24 11:07:18 2018 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Apr 24 14:17:57 2018 +0000
     1.3 @@ -7,7 +7,7 @@
     1.4  --------------------------------------
     1.5  
     1.6  * March 2018: Florian Haftmann
     1.7 -  Abstract bit operations push_bit, push_take, push_drop, alongside
     1.8 +  Abstract bit operations push_bit, take_bit, drop_bit, alongside
     1.9    with an algebraic foundation for bit strings and word types in
    1.10    HOL-ex.
    1.11  
     2.1 --- a/NEWS	Tue Apr 24 11:07:18 2018 +0200
     2.2 +++ b/NEWS	Tue Apr 24 14:17:57 2018 +0000
     2.3 @@ -196,8 +196,8 @@
     2.4  
     2.5  *** HOL ***
     2.6  
     2.7 -* Abstract bit operations as part of Main: push_bit, push_take,
     2.8 -push_drop.
     2.9 +* Abstract bit operations as part of Main: push_bit, take_bit,
    2.10 +drop_bit.
    2.11  
    2.12  * New, more general, axiomatization of complete_distrib_lattice. 
    2.13  The former axioms: