CONTRIBUTORS
changeset 66893 ced164fe3bbd
parent 66651 435cb8d69e27
child 67224 341fbce5b26d
     1.1 --- a/CONTRIBUTORS	Sat Oct 21 18:19:11 2017 +0200
     1.2 +++ b/CONTRIBUTORS	Sun Oct 22 09:10:10 2017 +0200
     1.3 @@ -6,6 +6,8 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* October 2017: Alexander Maletzky
     1.8 +  Derivation of axiom "iff" in HOL.thy from the other axioms.
     1.9  
    1.10  Contributions to Isabelle2017
    1.11  -----------------------------