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