CONTRIBUTORS
changeset 68028 1f9f973eed2a
parent 68027 64559e1ca05b
child 68072 fad29d2a17a5
     1.1 --- a/CONTRIBUTORS	Tue Apr 24 14:17:57 2018 +0000
     1.2 +++ b/CONTRIBUTORS	Tue Apr 24 14:17:58 2018 +0000
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* May 2018: Florian Haftmann
     1.8 +  Consolidation of string-like types in HOL.
     1.9 +
    1.10  * March 2018: Florian Haftmann
    1.11    Abstract bit operations push_bit, take_bit, drop_bit, alongside
    1.12    with an algebraic foundation for bit strings and word types in