CONTRIBUTORS
changeset 68073 fad29d2a17a5
parent 68072 493b818e8e10
parent 68028 1f9f973eed2a
child 68200 5859c688102a
     1.1 --- a/CONTRIBUTORS	Wed May 02 13:49:38 2018 +0200
     1.2 +++ b/CONTRIBUTORS	Thu May 03 15:07:14 2018 +0200
     1.3 @@ -6,14 +6,16 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* April 2018: Jose Divasón (Universidad de la Rioja),
     1.8 +* May 2018: Jose Divasón (Universidad de la Rioja),
     1.9    Jesús Aransay (Universidad de la Rioja), Johannes Hölzl (VU Amsterdam),
    1.10    Fabian Immler (TUM)
    1.11    Generalizations in the formalization of linear algebra.
    1.12  
    1.13 +* May 2018: Florian Haftmann
    1.14 +  Consolidation of string-like types in HOL.
    1.15  
    1.16  * March 2018: Florian Haftmann
    1.17 -  Abstract bit operations push_bit, push_take, push_drop, alongside
    1.18 +  Abstract bit operations push_bit, take_bit, drop_bit, alongside
    1.19    with an algebraic foundation for bit strings and word types in
    1.20    HOL-ex.
    1.21