From 748d716efb2f2f75946c8386e441ce1789806a39 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 22 May 2019 13:43:08 +0200
Subject: htmldoc regenerated
---
docs/htmldoc/index_variable_E.html | 94 +++++++++++++++++++++-----------------
1 file changed, 51 insertions(+), 43 deletions(-)
(limited to 'docs/htmldoc/index_variable_E.html')
diff --git a/docs/htmldoc/index_variable_E.html b/docs/htmldoc/index_variable_E.html
index 5195430..b5bd7f0 100644
--- a/docs/htmldoc/index_variable_E.html
+++ b/docs/htmldoc/index_variable_E.html
@@ -4,7 +4,7 @@
-mathcomp.ssreflect.tuple
+mathcomp.test_suite.hierarchy_test
@@ -47,7 +47,7 @@
| Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -79,14 +79,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -111,7 +111,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -143,7 +143,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -175,7 +175,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -207,7 +207,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -239,7 +239,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -271,7 +271,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -303,14 +303,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -335,7 +335,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -367,7 +367,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -399,7 +399,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -431,14 +431,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -463,7 +463,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
E (variable)
@@ -521,6 +521,10 @@
EncodingModuloRel.ED [in mathcomp.ssreflect.generic_quotient]
EncodingModuloRel.r [in mathcomp.ssreflect.generic_quotient]
EnumRank.T [in mathcomp.ssreflect.fintype]
+EqAllPairsDep.R [in mathcomp.ssreflect.seq]
+EqAllPairsDep.S [in mathcomp.ssreflect.seq]
+EqAllPairsDep.T [in mathcomp.ssreflect.seq]
+EqAllPairs.R [in mathcomp.ssreflect.seq]
EqAllPairs.S [in mathcomp.ssreflect.seq]
EqAllPairs.T [in mathcomp.ssreflect.seq]
EqConnect.T [in mathcomp.ssreflect.fingraph]
@@ -581,7 +585,10 @@
EqQuotTypeStructure.T [in mathcomp.ssreflect.generic_quotient]
EqSeq.EqIn.a1 [in mathcomp.ssreflect.seq]
EqSeq.EqIn.a2 [in mathcomp.ssreflect.seq]
+EqSeq.Filters.A [in mathcomp.ssreflect.seq]
EqSeq.Filters.a [in mathcomp.ssreflect.seq]
+EqSeq.Filters.aP [in mathcomp.ssreflect.seq]
+EqSeq.Filters.s [in mathcomp.ssreflect.seq]
EqSeq.inE [in mathcomp.ssreflect.seq]
EqSeq.n0 [in mathcomp.ssreflect.seq]
EqSeq.T [in mathcomp.ssreflect.seq]
@@ -766,15 +773,16 @@
Extremal.Construction.p_gt1 [in mathcomp.solvable.extremal]
Extremal.Construction.q [in mathcomp.solvable.extremal]
Extremal.Construction.q_gt1 [in mathcomp.solvable.extremal]
+Extrema.ArgMinMax.F [in mathcomp.ssreflect.fintype]
+Extrema.ArgMinMax.I [in mathcomp.ssreflect.fintype]
+Extrema.ArgMinMax.i0 [in mathcomp.ssreflect.fintype]
+Extrema.ArgMinMax.P [in mathcomp.ssreflect.fintype]
+Extrema.ArgMinMax.Pi0 [in mathcomp.ssreflect.fintype]
Extrema.arg_pred [in mathcomp.ssreflect.fintype]
-Extrema.exFP [in mathcomp.ssreflect.fintype]
-Extrema.F [in mathcomp.ssreflect.fintype]
-Extrema.FP [in mathcomp.ssreflect.fintype]
-Extrema.FP_F [in mathcomp.ssreflect.fintype]
-Extrema.I [in mathcomp.ssreflect.fintype]
-Extrema.i0 [in mathcomp.ssreflect.fintype]
-Extrema.P [in mathcomp.ssreflect.fintype]
-Extrema.Pi0 [in mathcomp.ssreflect.fintype]
+Extrema.Extremum.ord_total [in mathcomp.ssreflect.fintype]
+Extrema.Extremum.ord_trans [in mathcomp.ssreflect.fintype]
+Extrema.Extremum.ord_refl [in mathcomp.ssreflect.fintype]
+Extrema.Extremum.Pi0 [in mathcomp.ssreflect.fintype]
ExtSdprodm.actf [in mathcomp.fingroup.gproduct]
ExtSdprodm.aT [in mathcomp.fingroup.gproduct]
ExtSdprodm.DgH [in mathcomp.fingroup.gproduct]
@@ -817,7 +825,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -849,14 +857,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -881,7 +889,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -913,7 +921,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -945,7 +953,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -977,7 +985,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -1009,7 +1017,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -1041,7 +1049,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -1073,14 +1081,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1105,7 +1113,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -1137,7 +1145,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -1169,7 +1177,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1201,14 +1209,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1233,7 +1241,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3