From e75373c73188d8fbcf7578a0578ce27d60c7b73f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 9 Dec 2002 08:51:55 +0000
Subject: 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
---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
cgit v1.2.3