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_G.html | 320 ++++++++++++++++++-------------------
1 file changed, 160 insertions(+), 160 deletions(-)
(limited to 'docs/htmldoc/index_notation_G.html')
diff --git a/docs/htmldoc/index_notation_G.html b/docs/htmldoc/index_notation_G.html
index 0600a7c..9287491 100644
--- a/docs/htmldoc/index_notation_G.html
+++ b/docs/htmldoc/index_notation_G.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,135 +463,135 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
G (notation)
-'Gal ( _ / _ ) (Group_scope) [in mathcomp.field.galois]
-'Gal ( _ / _ ) (group_scope) [in mathcomp.field.galois]
-'K_ _ (ring_scope) [in mathcomp.character.integral_char]
-[ mgFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
-[ mgFun by _ ] (form_scope) [in mathcomp.solvable.gfunctor]
-[ pgFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
-[ pgFun by _ ] (form_scope) [in mathcomp.solvable.gfunctor]
-[ gFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
-[ gFun by _ ] (form_scope) [in mathcomp.solvable.gfunctor]
-[ igFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
-[ igFun by _ & ! _ ] (form_scope) [in mathcomp.solvable.gfunctor]
-[ igFun by _ & _ ] (form_scope) [in mathcomp.solvable.gfunctor]
-[ additive of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ additive of _ as _ ] (form_scope) [in mathcomp.algebra.ssralg]
-{ additive _ } (ring_scope) [in mathcomp.algebra.ssralg]
-[ algType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ algType _ of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ closedFieldType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ closedFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ comRingType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ comRingType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ comUnitRingType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ decFieldType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ decFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ rec _ , _ ] [in mathcomp.algebra.ssralg]
-[ fieldType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ fieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ idomainType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ idomainType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ lalgType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ lalgType _ of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ linear of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ linear of _ as _ ] (form_scope) [in mathcomp.algebra.ssralg]
-_ *^ _ _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
-_ *:^ _ _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
-_ * _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
-_ *: _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
-{ scalar _ } (ring_scope) [in mathcomp.algebra.ssralg]
-{ linear _ } (ring_scope) [in mathcomp.algebra.ssralg]
-{ linear _ | _ } (ring_scope) [in mathcomp.algebra.ssralg]
-*:%R [in mathcomp.algebra.ssralg]
-[ lmodType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ lmodType _ of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ lrmorphism of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-{ lrmorphism _ } (ring_scope) [in mathcomp.algebra.ssralg]
-{ lrmorphism _ | _ } (ring_scope) [in mathcomp.algebra.ssralg]
-_ ^f [in mathcomp.algebra.ssralg]
-[ ringType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ ringType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ rmorphism of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ rmorphism of _ as _ ] (form_scope) [in mathcomp.algebra.ssralg]
-{ rmorphism _ } (ring_scope) [in mathcomp.algebra.ssralg]
-[ fieldMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
-[ idomainMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
-[ unitRingMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
-[ algMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
-[ comRingMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
-[ lalgMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
-[ lmodMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
-[ ringMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
-[ zmodMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
-[ unitAlgType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ unitRingType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ unitRingType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ zmodType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
-[ zmodType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
-_ \o* _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ \*o _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ \*: _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ \- _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ \+ _ (ring_scope) [in mathcomp.algebra.ssralg]
-\0 (ring_scope) [in mathcomp.algebra.ssralg]
-_ %:A (ring_scope) [in mathcomp.algebra.ssralg]
-_ *: _ (ring_scope) [in mathcomp.algebra.ssralg]
-[ char _ ] (ring_scope) [in mathcomp.algebra.ssralg]
-_ ^+ _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ * _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ %:R (ring_scope) [in mathcomp.algebra.ssralg]
-- 1 (ring_scope) [in mathcomp.algebra.ssralg]
-1 (ring_scope) [in mathcomp.algebra.ssralg]
-_ `_ _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ *- _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ *+ _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ - _ (ring_scope) [in mathcomp.algebra.ssralg]
-_ + _ (ring_scope) [in mathcomp.algebra.ssralg]
-+%R (ring_scope) [in mathcomp.algebra.ssralg]
-- _ (ring_scope) [in mathcomp.algebra.ssralg]
--%R (ring_scope) [in mathcomp.algebra.ssralg]
-0 (ring_scope) [in mathcomp.algebra.ssralg]
-'forall 'X_ _ , _ (term_scope) [in mathcomp.algebra.ssralg]
-'exists 'X_ _ , _ (term_scope) [in mathcomp.algebra.ssralg]
-_ != _ (term_scope) [in mathcomp.algebra.ssralg]
-~ _ (term_scope) [in mathcomp.algebra.ssralg]
-_ ==> _ (term_scope) [in mathcomp.algebra.ssralg]
-_ \/ _ (term_scope) [in mathcomp.algebra.ssralg]
-_ /\ _ (term_scope) [in mathcomp.algebra.ssralg]
-_ == _ (term_scope) [in mathcomp.algebra.ssralg]
-_ ^+ _ (term_scope) [in mathcomp.algebra.ssralg]
-_ / _ (term_scope) [in mathcomp.algebra.ssralg]
-_ ^-1 (term_scope) [in mathcomp.algebra.ssralg]
-_ *+ _ (term_scope) [in mathcomp.algebra.ssralg]
-_ * _ (term_scope) [in mathcomp.algebra.ssralg]
-_ - _ (term_scope) [in mathcomp.algebra.ssralg]
-- _ (term_scope) [in mathcomp.algebra.ssralg]
-_ + _ (term_scope) [in mathcomp.algebra.ssralg]
-1 (term_scope) [in mathcomp.algebra.ssralg]
-0 (term_scope) [in mathcomp.algebra.ssralg]
-_ %:T (term_scope) [in mathcomp.algebra.ssralg]
-_ %:R (term_scope) [in mathcomp.algebra.ssralg]
-'X_ _ (term_scope) [in mathcomp.algebra.ssralg]
-_ ^o (type_scope) [in mathcomp.algebra.ssralg]
-_ ^c (type_scope) [in mathcomp.algebra.ssralg]
-_ ^- _ [in mathcomp.algebra.ssralg]
-_ / _ [in mathcomp.algebra.ssralg]
-_ ^-1 [in mathcomp.algebra.ssralg]
-*%R [in mathcomp.algebra.ssralg]
-*:%R [in mathcomp.algebra.ssralg]
-\prod_ ( _ <= _ < _ ) _ [in mathcomp.algebra.ssralg]
-\prod_ ( _ in _ ) _ [in mathcomp.algebra.ssralg]
-\prod_ ( _ | _ ) _ [in mathcomp.algebra.ssralg]
-\prod_ ( _ <- _ | _ ) _ [in mathcomp.algebra.ssralg]
-\sum_ ( _ in _ ) _ [in mathcomp.algebra.ssralg]
-\sum_ ( _ < _ ) _ [in mathcomp.algebra.ssralg]
-\sum_ ( _ <= _ < _ ) _ [in mathcomp.algebra.ssralg]
-\sum_ ( _ <- _ | _ ) _ [in mathcomp.algebra.ssralg]
+'Gal ( _ / _ ) (Group_scope) [in mathcomp.field.galois]
+'Gal ( _ / _ ) (group_scope) [in mathcomp.field.galois]
+'K_ _ (ring_scope) [in mathcomp.character.integral_char]
+[ mgFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ mgFun by _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ pgFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ pgFun by _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ gFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ gFun by _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ igFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ igFun by _ & ! _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ igFun by _ & _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ additive of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ additive of _ as _ ] (form_scope) [in mathcomp.algebra.ssralg]
+{ additive _ } (ring_scope) [in mathcomp.algebra.ssralg]
+[ algType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ algType _ of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ closedFieldType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ closedFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ comRingType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ comRingType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ comUnitRingType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ decFieldType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ decFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ rec _ , _ ] [in mathcomp.algebra.ssralg]
+[ fieldType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ fieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ idomainType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ idomainType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lalgType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lalgType _ of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ linear of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ linear of _ as _ ] (form_scope) [in mathcomp.algebra.ssralg]
+_ *^ _ _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
+_ *:^ _ _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
+_ * _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
+_ *: _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
+{ scalar _ } (ring_scope) [in mathcomp.algebra.ssralg]
+{ linear _ } (ring_scope) [in mathcomp.algebra.ssralg]
+{ linear _ | _ } (ring_scope) [in mathcomp.algebra.ssralg]
+*:%R [in mathcomp.algebra.ssralg]
+[ lmodType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lmodType _ of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lrmorphism of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+{ lrmorphism _ } (ring_scope) [in mathcomp.algebra.ssralg]
+{ lrmorphism _ | _ } (ring_scope) [in mathcomp.algebra.ssralg]
+_ ^f [in mathcomp.algebra.ssralg]
+[ ringType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ ringType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ rmorphism of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ rmorphism of _ as _ ] (form_scope) [in mathcomp.algebra.ssralg]
+{ rmorphism _ } (ring_scope) [in mathcomp.algebra.ssralg]
+[ fieldMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ idomainMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ unitRingMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ algMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ comRingMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lalgMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lmodMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ ringMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ zmodMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ unitAlgType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ unitRingType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ unitRingType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ zmodType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ zmodType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+_ \o* _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ \*o _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ \*: _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ \- _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ \+ _ (ring_scope) [in mathcomp.algebra.ssralg]
+\0 (ring_scope) [in mathcomp.algebra.ssralg]
+_ %:A (ring_scope) [in mathcomp.algebra.ssralg]
+_ *: _ (ring_scope) [in mathcomp.algebra.ssralg]
+[ char _ ] (ring_scope) [in mathcomp.algebra.ssralg]
+_ ^+ _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ * _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ %:R (ring_scope) [in mathcomp.algebra.ssralg]
+- 1 (ring_scope) [in mathcomp.algebra.ssralg]
+1 (ring_scope) [in mathcomp.algebra.ssralg]
+_ `_ _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ *- _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ *+ _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ - _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ + _ (ring_scope) [in mathcomp.algebra.ssralg]
++%R (ring_scope) [in mathcomp.algebra.ssralg]
+- _ (ring_scope) [in mathcomp.algebra.ssralg]
+-%R (ring_scope) [in mathcomp.algebra.ssralg]
+0 (ring_scope) [in mathcomp.algebra.ssralg]
+'forall 'X_ _ , _ (term_scope) [in mathcomp.algebra.ssralg]
+'exists 'X_ _ , _ (term_scope) [in mathcomp.algebra.ssralg]
+_ != _ (term_scope) [in mathcomp.algebra.ssralg]
+~ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ ==> _ (term_scope) [in mathcomp.algebra.ssralg]
+_ \/ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ /\ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ == _ (term_scope) [in mathcomp.algebra.ssralg]
+_ ^+ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ / _ (term_scope) [in mathcomp.algebra.ssralg]
+_ ^-1 (term_scope) [in mathcomp.algebra.ssralg]
+_ *+ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ * _ (term_scope) [in mathcomp.algebra.ssralg]
+_ - _ (term_scope) [in mathcomp.algebra.ssralg]
+- _ (term_scope) [in mathcomp.algebra.ssralg]
+_ + _ (term_scope) [in mathcomp.algebra.ssralg]
+1 (term_scope) [in mathcomp.algebra.ssralg]
+0 (term_scope) [in mathcomp.algebra.ssralg]
+_ %:T (term_scope) [in mathcomp.algebra.ssralg]
+_ %:R (term_scope) [in mathcomp.algebra.ssralg]
+'X_ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ ^o (type_scope) [in mathcomp.algebra.ssralg]
+_ ^c (type_scope) [in mathcomp.algebra.ssralg]
+_ ^- _ [in mathcomp.algebra.ssralg]
+_ / _ [in mathcomp.algebra.ssralg]
+_ ^-1 [in mathcomp.algebra.ssralg]
+*%R [in mathcomp.algebra.ssralg]
+*:%R [in mathcomp.algebra.ssralg]
+\prod_ ( _ <= _ < _ ) _ [in mathcomp.algebra.ssralg]
+\prod_ ( _ in _ ) _ [in mathcomp.algebra.ssralg]
+\prod_ ( _ | _ ) _ [in mathcomp.algebra.ssralg]
+\prod_ ( _ <- _ | _ ) _ [in mathcomp.algebra.ssralg]
+\sum_ ( _ in _ ) _ [in mathcomp.algebra.ssralg]
+\sum_ ( _ < _ ) _ [in mathcomp.algebra.ssralg]
+\sum_ ( _ <= _ < _ ) _ [in mathcomp.algebra.ssralg]
+\sum_ ( _ <- _ | _ ) _ [in mathcomp.algebra.ssralg]
| Global Index |
@@ -623,7 +623,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -655,14 +655,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -687,7 +687,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -719,7 +719,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -751,7 +751,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -783,7 +783,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -815,7 +815,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -847,7 +847,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -879,14 +879,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -911,7 +911,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -943,7 +943,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -975,7 +975,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1007,14 +1007,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1039,7 +1039,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3