spelling
authorhaftmann
Mon Dec 25 11:22:49 2017 +0100 (17 months ago)
changeset 67279d327c11c9f3e
parent 67278 c60e3d615b8c
child 67280 dfc5a1503916
spelling
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Sun Dec 24 14:28:10 2017 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Dec 25 11:22:49 2017 +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.