1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 7066043049..23cc734738 100644
--- a/CHANGES
+++ b/CHANGES
@@ -27,6 +27,8 @@ Tactics
 - New tactic "etransitivity".
 - Support of JMeq for "injection" and "discriminate".
 - New variant "subst'" of "subst" that supports JMeq.
+- New tactic "decide lemma with hyp" for rewriting decidability lemmas
+  when one knows which side is true.
 
 Tactic Language