From ccceb6fbd3bd811b728f6e11dad3cf255a577801 Mon Sep 17 00:00:00 2001
From: Anton Trunov
Date: Wed, 29 May 2019 16:05:39 +0300
Subject: reword entry in CHANGELOG_UNRELEASED.md

---
 CHANGELOG_UNRELEASED.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index 1892bca..2826491 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -11,7 +11,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 ### Changed
 
 - `eqVneq` lemma is changed from `{x = y} + {x != y}` to
-  `eq_xor_neq x y (y == x) (x == y)` which allows to use as a view and provide
-   simultaneous destruction of expressions of the form `x == y` and `y == x`,
-   while keeping the ability to use it in the way it was used before.
+  `eq_xor_neq x y (y == x) (x == y)`, on which a case analysis performs
+  simultaneous replacement of expressions of the form `x == y` and `y == x`
+  by `true` or `false`, while keeping the ability to use it in the way
+  it was used before.
 
-- 
cgit v1.2.3