1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 328c381cbf..2352478e56 100644
--- a/CHANGES
+++ b/CHANGES
@@ -74,6 +74,7 @@ Tactic definitions
 
 Tactics
 
+- Simpl and Change now apply to subterms also
 - Double Induction now referring to hypotheses like "Intros until"
 - "Inversion" now applies also on quantified hypotheses (naming as
   for Intros until)