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