# HG changeset patch
# User haftmann
# Date 1514197369 -3600
# Node ID d327c11c9f3e7f82e6640a1299aab617a9d4b536
# Parent  c60e3d615b8c1ac1390647a955de75add8d8f4fc
spelling

diff -r c60e3d615b8c -r d327c11c9f3e CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Dec 24 14:28:10 2017 +0100
+++ b/CONTRIBUTORS	Mon Dec 25 11:22:49 2017 +0100
@@ -7,7 +7,7 @@
 --------------------------------------
 
 * December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel
-  A new conditional paramertricity prover.
+  A new conditional parametricity prover.
 
 * October 2017: Alexander Maletzky
   Derivation of axiom "iff" in HOL.thy from the other axioms.