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_notation_C.html | 87 ++++++++++++++++++++------------------
1 file changed, 45 insertions(+), 42 deletions(-)
(limited to 'docs/htmldoc/index_notation_C.html')
diff --git a/docs/htmldoc/index_notation_C.html b/docs/htmldoc/index_notation_C.html
index c6588f3..d494774 100644
--- a/docs/htmldoc/index_notation_C.html
+++ b/docs/htmldoc/index_notation_C.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,34 +463,37 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
C (notation)
-_ ^f (ring_scope) [in mathcomp.character.mxrepresentation]
-_ ^f (ring_scope) [in mathcomp.character.mxrepresentation]
-_ \char _ [in mathcomp.fingroup.automorphism]
-[ choiceType of _ ] (form_scope) [in mathcomp.ssreflect.choice]
-[ choiceType of _ for _ ] (form_scope) [in mathcomp.ssreflect.choice]
-'1_ _ [in mathcomp.character.classfun]
-<< _ ; _ >> (vspace_scope) [in mathcomp.field.falgebra]
-<< _ & _ >> (vspace_scope) [in mathcomp.field.falgebra]
-[ rec _ , _ , _ ] [in mathcomp.ssreflect.choice]
-` T (group_scope) [in mathcomp.character.inertia]
-_ / _ (Group_scope) [in mathcomp.fingroup.quotient]
-_ %% B (cfun_scope) [in mathcomp.character.classfun]
-_ / B (cfun_scope) [in mathcomp.character.classfun]
-[ countType of _ ] (form_scope) [in mathcomp.ssreflect.choice]
-[ countType of _ for _ ] (form_scope) [in mathcomp.ssreflect.choice]
-[ countClosedFieldType of _ ] (form_scope) [in mathcomp.field.countalg]
-[ countComRingType of _ ] (form_scope) [in mathcomp.field.countalg]
-[ countComUnitRingType of _ ] (form_scope) [in mathcomp.field.countalg]
-[ countDecFieldType of _ ] (form_scope) [in mathcomp.field.countalg]
-[ countFieldType of _ ] (form_scope) [in mathcomp.field.countalg]
-[ countIdomainType of _ ] (form_scope) [in mathcomp.field.countalg]
-[ countRingType of _ ] (form_scope) [in mathcomp.field.countalg]
-[ countUnitRingType of _ ] (form_scope) [in mathcomp.field.countalg]
-[ countZmodType of _ ] (form_scope) [in mathcomp.field.countalg]
+_ ^f (ring_scope) [in mathcomp.character.mxrepresentation]
+_ ^f (ring_scope) [in mathcomp.character.mxrepresentation]
+_ \char _ [in mathcomp.fingroup.automorphism]
+[ choiceType of _ ] (form_scope) [in mathcomp.ssreflect.choice]
+[ choiceType of _ for _ ] (form_scope) [in mathcomp.ssreflect.choice]
+'1_ _ [in mathcomp.character.classfun]
+_ ->_ _ _ [in mathcomp.field.closed_field]
+'if _ then _ else _ [in mathcomp.field.closed_field]
+'let _ <- _ ; _ [in mathcomp.field.closed_field]
+<< _ ; _ >> (vspace_scope) [in mathcomp.field.falgebra]
+<< _ & _ >> (vspace_scope) [in mathcomp.field.falgebra]
+[ rec _ , _ , _ ] [in mathcomp.ssreflect.choice]
+` T (group_scope) [in mathcomp.character.inertia]
+_ / _ (Group_scope) [in mathcomp.fingroup.quotient]
+_ %% B (cfun_scope) [in mathcomp.character.classfun]
+_ / B (cfun_scope) [in mathcomp.character.classfun]
+[ countType of _ ] (form_scope) [in mathcomp.ssreflect.choice]
+[ countType of _ for _ ] (form_scope) [in mathcomp.ssreflect.choice]
+[ countClosedFieldType of _ ] (form_scope) [in mathcomp.algebra.countalg]
+[ countComRingType of _ ] (form_scope) [in mathcomp.algebra.countalg]
+[ countComUnitRingType of _ ] (form_scope) [in mathcomp.algebra.countalg]
+[ countDecFieldType of _ ] (form_scope) [in mathcomp.algebra.countalg]
+[ countFieldType of _ ] (form_scope) [in mathcomp.algebra.countalg]
+[ countIdomainType of _ ] (form_scope) [in mathcomp.algebra.countalg]
+[ countRingType of _ ] (form_scope) [in mathcomp.algebra.countalg]
+[ countUnitRingType of _ ] (form_scope) [in mathcomp.algebra.countalg]
+[ countZmodType of _ ] (form_scope) [in mathcomp.algebra.countalg]