CONTRIBUTORS
changeset 67337 4254cfd15b00
parent 67224 341fbce5b26d
child 67456 7895c159d7b1
     1.1 --- a/CONTRIBUTORS	Mon Dec 18 16:58:13 2017 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Jan 03 22:29:31 2018 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  --------------------------------------
     1.5  
     1.6  * December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel
     1.7 -  A new conditional paramertricity prover.
     1.8 +  A new conditional parametricity prover.
     1.9  
    1.10  * October 2017: Alexander Maletzky
    1.11    Derivation of axiom "iff" in HOL.thy from the other axioms.