CONTRIBUTORS
changeset 68027 64559e1ca05b
parent 67928 7f5b1b6f7f40
child 68028 1f9f973eed2a
     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