diff options
| author | Anton Trunov | 2019-05-29 16:05:39 +0300 |
|---|---|---|
| committer | Anton Trunov | 2019-05-29 16:05:39 +0300 |
| commit | ccceb6fbd3bd811b728f6e11dad3cf255a577801 (patch) | |
| tree | 5fb24bf36ff2fca33f2d23a8f49d1681e6286a4a | |
| parent | 3db164c8410dfbb3204c7d02d057356d22044c0d (diff) | |
reword entry in CHANGELOG_UNRELEASED.md
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 7 |
1 files 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. |