CONTRIBUTORS
changeset 67224 341fbce5b26d
parent 66893 ced164fe3bbd
child 67279 d327c11c9f3e
     1.1 --- a/CONTRIBUTORS	Mon Dec 18 11:56:12 2017 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Dec 18 16:58:13 2017 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel
     1.8 +  A new conditional paramertricity prover.
     1.9 +
    1.10  * October 2017: Alexander Maletzky
    1.11    Derivation of axiom "iff" in HOL.thy from the other axioms.
    1.12