CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Dec 18 11:56:12 2017 +0100
+++ b/CONTRIBUTORS	Mon Dec 18 16:58:13 2017 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel
+  A new conditional paramertricity prover.
+
 * October 2017: Alexander Maletzky
   Derivation of axiom "iff" in HOL.thy from the other axioms.