| author | haftmann |
| Mon, 25 Dec 2017 11:22:49 +0100 | |
| changeset 67279 | d327c11c9f3e |
| parent 67278 | c60e3d615b8c |
| child 67280 | dfc5a1503916 |
| CONTRIBUTORS | file | annotate | diff | comparison | revisions |
--- 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.