Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CONTRIBUTORS
changeset 67279 d327c11c9f3e
parent 67224 341fbce5b26d
child 67456 7895c159d7b1 
--- 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.
isabelle