From b4d360ed23af544fd3e6049bc0c0221d20f4daca Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 29 Oct 2018 13:17:23 +0100
Subject: Revert "Adding allsigs, the dependent version of allpairs"

This reverts commit 044634dcc2f645e3afbdad6cb8dcc66f3eb4a87e.
See issue https://github.com/math-comp/odd-order/pull/5
---
 ChangeLog | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'ChangeLog')

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