CONTRIBUTORS
changeset 67159 deccbba7cfe3
parent 66651 435cb8d69e27
child 67224 341fbce5b26d
     1.1 --- a/CONTRIBUTORS	Fri Sep 08 19:37:46 2017 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Dec 07 20:55:03 2017 +0100
     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  -----------------------------