Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
spelling
authorhaftmann
Mon, 04 Jul 2016 19:49:25 +0200
changeset 63378 161f3ce4bf45
parent 63377 64adf4ba9526
child 63384 bf894d31ed0f
spelling
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Jul 04 19:46:20 2016 +0200
+++ b/NEWS	Mon Jul 04 19:49:25 2016 +0200
@@ -137,7 +137,7 @@
 *** HOL ***
 
 * Theory Library/Combinator_PER.thy: combinator to build partial
-equivalence relations from a predicate and an equivalenc relation.
+equivalence relations from a predicate and an equivalence relation.
 
 * Theory Library/Perm.thy: basic facts about almost everywhere fix
 bijections.
isabelle