# HG changeset patch
# User haftmann
# Date 1467654565 -7200
# Node ID 161f3ce4bf45800d033960562e78c67407337e0d
# Parent  64adf4ba952622335e050062a6342cfb5b823607
spelling

diff -r 64adf4ba9526 -r 161f3ce4bf45 NEWS
--- 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.