CONTRIBUTORS
changeset 67928 7f5b1b6f7f40
parent 67831 07f5588f2735
child 68027 64559e1ca05b
child 68072 493b818e8e10
     1.1 --- a/CONTRIBUTORS	Thu Mar 22 17:18:33 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Mar 23 10:52:00 2018 +0100
     1.3 @@ -6,6 +6,11 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* March 2018: Florian Haftmann
     1.8 +  Abstract bit operations push_bit, push_take, push_drop, alongside
     1.9 +  with an algebraic foundation for bit strings and word types in
    1.10 +  HOL-ex.
    1.11 +
    1.12  * March 2018: Viorel Preoteasa
    1.13    Generalisation of complete_distrib_lattice
    1.14