1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index b587e2ecc9..4a5c744104 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,8 @@ Changes from V8.4
 Tactics
 
 - Tactics btauto, a reflexive boolean tautology solver.
+- "Solve Obligations using" changed to "Solve Obligations with",
+  consistent with "Proof with".
 
 Changes from V8.4beta to V8.4
 =============================