CONTRIBUTORS
changeset 68466 3d8241f4198b
parent 68391 9b4f60bdad54
child 68522 d9cbc1e8644d
     1.1 --- a/CONTRIBUTORS	Mon Jun 18 14:22:26 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Jun 18 15:56:03 2018 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to Isabelle2018
     1.5  -----------------------------
     1.6  
     1.7 +* June 2018: Martin Baillon and Paulo Emílio de Vilhena
     1.8 +  A variety of contributions to HOL-Algebra.
     1.9 +
    1.10  * May 2018: Manuel Eberl
    1.11    Landau symbols and asymptotic equivalence (moved from the AFP).
    1.12