Merge pull request #236 from CohenCyril/allsigs

Revert "Adding allsigs, the dependent version of allpairs"

1 files changed, 0 insertions, 4 deletions

diff --git a/ChangeLog b/ChangeLog
index 00ab480..fc10b66 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,4 @@
 ??/??/???? - version 1.7.1
-
 	* Added companion matrix of a polynomial `companionmx p` and the
 	  theorems: companionmxK, map_mx_companion and companion_map_poly
 
@@ -12,9 +11,6 @@
         * Rewritten proof of quantifier elimination for closed field in a
 	  monadic style.
 
-	* Added allsigs, the dependent version of allpairs,
-	  with notation `[seq E | i <- s & j <- t]`
-
 	* Added all_iff, "the following are all equivalent"
 	  with notation [<-> P0; P1; ..; Pn] and theorems
 	  `all_iffLR` and coercion `all_iffP` (see header for doc)