CONTRIBUTORS
changeset 68522 d9cbc1e8644d
parent 68466 3d8241f4198b
child 68531 7c6f812afdc4
child 68532 f8b98d31ad45
child 68545 7922992c99ea
     1.1 --- a/CONTRIBUTORS	Wed Jun 27 10:18:03 2018 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Jun 27 11:16:43 2018 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to Isabelle2018
     1.5  -----------------------------
     1.6  
     1.7 +* June 2018: Fabian Immler
     1.8 +  More tool support for HOL-Types_To_Sets.
     1.9 +
    1.10  * June 2018: Martin Baillon and Paulo Emílio de Vilhena
    1.11    A variety of contributions to HOL-Algebra.
    1.12