CONTRIBUTORS
changeset 68072 493b818e8e10
parent 67928 7f5b1b6f7f40
child 68073 fad29d2a17a5
     1.1 --- a/CONTRIBUTORS	Wed Apr 18 21:12:50 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Wed May 02 13:49:38 2018 +0200
     1.3 @@ -6,6 +6,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* April 2018: Jose Divasón (Universidad de la Rioja),
     1.8 +  Jesús Aransay (Universidad de la Rioja), Johannes Hölzl (VU Amsterdam),
     1.9 +  Fabian Immler (TUM)
    1.10 +  Generalizations in the formalization of linear algebra.
    1.11 +
    1.12 +
    1.13  * March 2018: Florian Haftmann
    1.14    Abstract bit operations push_bit, push_take, push_drop, alongside
    1.15    with an algebraic foundation for bit strings and word types in