Ajout Simpl et Change sur des sous-termes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3399 85f007b7-540e-0410-9357-904b9bb8a0f7

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)