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_global_P.html | 217 +++++++++++++++++++++++++--------------
1 file changed, 139 insertions(+), 78 deletions(-)
(limited to 'docs/htmldoc/index_global_P.html')
diff --git a/docs/htmldoc/index_global_P.html b/docs/htmldoc/index_global_P.html
index 7dd5cb8..1233911 100644
--- a/docs/htmldoc/index_global_P.html
+++ b/docs/htmldoc/index_global_P.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) |
P
@@ -1031,11 +1031,11 @@
Pdiv.Field.FieldDivision.FieldMap [section, in mathcomp.algebra.polydiv]
Pdiv.Field.FieldDivision.FieldMap.f [variable, in mathcomp.algebra.polydiv]
Pdiv.Field.FieldDivision.FieldMap.rR [variable, in mathcomp.algebra.polydiv]
-_ ^f (ring_scope) [notation, in mathcomp.algebra.polydiv]
+_ ^f (ring_scope) [notation, in mathcomp.algebra.polydiv]
Pdiv.Field.FieldDivision.FieldRingMap [section, in mathcomp.algebra.polydiv]
Pdiv.Field.FieldDivision.FieldRingMap.f [variable, in mathcomp.algebra.polydiv]
Pdiv.Field.FieldDivision.FieldRingMap.rR [variable, in mathcomp.algebra.polydiv]
-_ ^f (ring_scope) [notation, in mathcomp.algebra.polydiv]
+_ ^f (ring_scope) [notation, in mathcomp.algebra.polydiv]
Pdiv.Field.gcdp_map [lemma, in mathcomp.algebra.polydiv]
Pdiv.Field.gdcop_map [lemma, in mathcomp.algebra.polydiv]
Pdiv.Field.gdcop_rec_map [lemma, in mathcomp.algebra.polydiv]
@@ -1069,10 +1069,10 @@
Pdiv.IdomainDefs.IDomainPseudoDivisionDefs.R [variable, in mathcomp.algebra.polydiv]
Pdiv.IdomainDefs.modp [definition, in mathcomp.algebra.polydiv]
Pdiv.IdomainDefs.scalp [definition, in mathcomp.algebra.polydiv]
-_ %= _ (ring_scope) [notation, in mathcomp.algebra.polydiv]
-_ %| _ (ring_scope) [notation, in mathcomp.algebra.polydiv]
-_ %% _ (ring_scope) [notation, in mathcomp.algebra.polydiv]
-_ %/ _ (ring_scope) [notation, in mathcomp.algebra.polydiv]
+_ %= _ (ring_scope) [notation, in mathcomp.algebra.polydiv]
+_ %| _ (ring_scope) [notation, in mathcomp.algebra.polydiv]
+_ %% _ (ring_scope) [notation, in mathcomp.algebra.polydiv]
+_ %/ _ (ring_scope) [notation, in mathcomp.algebra.polydiv]
Pdiv.IdomainMonic [module, in mathcomp.algebra.polydiv]
Pdiv.IdomainMonic.divpE [lemma, in mathcomp.algebra.polydiv]
Pdiv.IdomainMonic.divpp [lemma, in mathcomp.algebra.polydiv]
@@ -1233,6 +1233,7 @@
PermDef.perm [definition, in mathcomp.fingroup.perm]
PermDef.permE [lemma, in mathcomp.fingroup.perm]
permE [lemma, in mathcomp.fingroup.perm]
+permEl [lemma, in mathcomp.ssreflect.seq]
PermIn [section, in mathcomp.fingroup.automorphism]
PermIn.A [variable, in mathcomp.fingroup.automorphism]
PermIn.f [variable, in mathcomp.fingroup.automorphism]
@@ -1244,10 +1245,24 @@
permKV [lemma, in mathcomp.fingroup.perm]
permM [lemma, in mathcomp.fingroup.perm]
permP [lemma, in mathcomp.fingroup.perm]
+permP [lemma, in mathcomp.ssreflect.seq]
+permPl [lemma, in mathcomp.ssreflect.seq]
+permPr [lemma, in mathcomp.ssreflect.seq]
+perms [abbreviation, in mathcomp.ssreflect.seq]
PermSeq [section, in mathcomp.ssreflect.seq]
PermSeq.T [variable, in mathcomp.ssreflect.seq]
+perms_rec [definition, in mathcomp.ssreflect.seq]
PermutationParity [section, in mathcomp.fingroup.perm]
PermutationParity.T [variable, in mathcomp.fingroup.perm]
+permutations [definition, in mathcomp.ssreflect.seq]
+Permutations [section, in mathcomp.ssreflect.seq]
+permutationsE [lemma, in mathcomp.ssreflect.seq]
+permutationsErot [lemma, in mathcomp.ssreflect.seq]
+permutations_all_uniq [lemma, in mathcomp.ssreflect.seq]
+permutations_uniq [lemma, in mathcomp.ssreflect.seq]
+Permutations.cons_permsE [variable, in mathcomp.ssreflect.seq]
+Permutations.permsP [variable, in mathcomp.ssreflect.seq]
+Permutations.T [variable, in mathcomp.ssreflect.seq]
permX [lemma, in mathcomp.fingroup.perm]
perm_sortP [lemma, in mathcomp.ssreflect.path]
perm_sort [lemma, in mathcomp.ssreflect.path]
@@ -1286,45 +1301,73 @@
perm_in_on [lemma, in mathcomp.fingroup.automorphism]
perm_in [definition, in mathcomp.fingroup.automorphism]
perm_in_inj [lemma, in mathcomp.fingroup.automorphism]
-perm_undup_count [lemma, in mathcomp.ssreflect.seq]
-perm_eq_iotaP [lemma, in mathcomp.ssreflect.seq]
+perm_undup_count [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_iotaP [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_consP [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_nilP [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_small [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_all [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_flatten [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_rev [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_uniq [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_mem [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_size [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_trans [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_sym [abbreviation, in mathcomp.ssreflect.seq]
+perm_eq_refl [abbreviation, in mathcomp.ssreflect.seq]
+perm_eqlE [abbreviation, in mathcomp.ssreflect.seq]
+perm_eqrP [abbreviation, in mathcomp.ssreflect.seq]
+perm_eqlP [abbreviation, in mathcomp.ssreflect.seq]
+perm_eqP [abbreviation, in mathcomp.ssreflect.seq]
+perm_permutations [lemma, in mathcomp.ssreflect.seq]
+perm_count_undup [lemma, in mathcomp.ssreflect.seq]
+perm_tseq [abbreviation, in mathcomp.ssreflect.seq]
+perm_tally_seq [lemma, in mathcomp.ssreflect.seq]
+perm_tally [lemma, in mathcomp.ssreflect.seq]
+perm_flatten [lemma, in mathcomp.ssreflect.seq]
+perm_sumn [lemma, in mathcomp.ssreflect.seq]
+perm_iotaP [lemma, in mathcomp.ssreflect.seq]
+perm_pmap [lemma, in mathcomp.ssreflect.seq]
+perm_map_inj [lemma, in mathcomp.ssreflect.seq]
perm_map [lemma, in mathcomp.ssreflect.seq]
perm_to_subseq [lemma, in mathcomp.ssreflect.seq]
perm_to_rem [lemma, in mathcomp.ssreflect.seq]
perm_eqr [abbreviation, in mathcomp.ssreflect.seq]
perm_eql [abbreviation, in mathcomp.ssreflect.seq]
-perm_eq_uniq [lemma, in mathcomp.ssreflect.seq]
+perm_undup [lemma, in mathcomp.ssreflect.seq]
perm_uniq [lemma, in mathcomp.ssreflect.seq]
-perm_eq_small [lemma, in mathcomp.ssreflect.seq]
-perm_eq_size [lemma, in mathcomp.ssreflect.seq]
-perm_eq_all [lemma, in mathcomp.ssreflect.seq]
-perm_eq_mem [lemma, in mathcomp.ssreflect.seq]
+perm_small_eq [lemma, in mathcomp.ssreflect.seq]
+perm_all [lemma, in mathcomp.ssreflect.seq]
+perm_has [lemma, in mathcomp.ssreflect.seq]
+perm_consP [lemma, in mathcomp.ssreflect.seq]
+perm_nilP [lemma, in mathcomp.ssreflect.seq]
+perm_mem [lemma, in mathcomp.ssreflect.seq]
+perm_size [lemma, in mathcomp.ssreflect.seq]
perm_filterC [lemma, in mathcomp.ssreflect.seq]
perm_filter [lemma, in mathcomp.ssreflect.seq]
-perm_eq_rev [lemma, in mathcomp.ssreflect.seq]
+perm_rev [lemma, in mathcomp.ssreflect.seq]
perm_rotr [lemma, in mathcomp.ssreflect.seq]
perm_rot [lemma, in mathcomp.ssreflect.seq]
perm_rcons [lemma, in mathcomp.ssreflect.seq]
perm_catCA [lemma, in mathcomp.ssreflect.seq]
perm_catAC [lemma, in mathcomp.ssreflect.seq]
+perm_cat [lemma, in mathcomp.ssreflect.seq]
+perm_catr [lemma, in mathcomp.ssreflect.seq]
perm_cat2r [lemma, in mathcomp.ssreflect.seq]
perm_cons [lemma, in mathcomp.ssreflect.seq]
+perm_catl [lemma, in mathcomp.ssreflect.seq]
perm_cat2l [lemma, in mathcomp.ssreflect.seq]
perm_catC [lemma, in mathcomp.ssreflect.seq]
-perm_eqrP [lemma, in mathcomp.ssreflect.seq]
-perm_eqlP [lemma, in mathcomp.ssreflect.seq]
-perm_eqlE [lemma, in mathcomp.ssreflect.seq]
perm_eqr [abbreviation, in mathcomp.ssreflect.seq]
perm_eql [abbreviation, in mathcomp.ssreflect.seq]
-perm_eq_trans [lemma, in mathcomp.ssreflect.seq]
-perm_eq_sym [lemma, in mathcomp.ssreflect.seq]
-perm_eq_refl [lemma, in mathcomp.ssreflect.seq]
-perm_eqP [lemma, in mathcomp.ssreflect.seq]
+perm_trans [lemma, in mathcomp.ssreflect.seq]
+perm_sym [lemma, in mathcomp.ssreflect.seq]
+perm_refl [lemma, in mathcomp.ssreflect.seq]
perm_eq [definition, in mathcomp.ssreflect.seq]
-perm_eq_abelian_type [lemma, in mathcomp.solvable.abelian]
perm_faithful [lemma, in mathcomp.fingroup.action]
perm_act1P [lemma, in mathcomp.fingroup.action]
perm_mact [lemma, in mathcomp.fingroup.action]
+perm_big [lemma, in mathcomp.ssreflect.bigop]
perm1 [lemma, in mathcomp.fingroup.perm]
PervasiveMonoids [section, in mathcomp.ssreflect.bigop]
pexpIrz [lemma, in mathcomp.algebra.ssrint]
@@ -1471,8 +1514,7 @@
pi_max_pdiv [lemma, in mathcomp.ssreflect.prime]
pi_pdiv [lemma, in mathcomp.ssreflect.prime]
pi_of [definition, in mathcomp.ssreflect.prime]
-pi_wrapped_arg [definition, in mathcomp.ssreflect.prime]
-pi_unwrapped_arg [definition, in mathcomp.ssreflect.prime]
+pi_arg [definition, in mathcomp.ssreflect.prime]
pi_invr [lemma, in mathcomp.algebra.ring_quotient]
pi_unitr [lemma, in mathcomp.algebra.ring_quotient]
pi_is_multiplicative [lemma, in mathcomp.algebra.ring_quotient]
@@ -1497,9 +1539,6 @@
pi'_p'nat [lemma, in mathcomp.ssreflect.prime]
Pi.E [definition, in mathcomp.ssreflect.generic_quotient]
Pi.f [definition, in mathcomp.ssreflect.generic_quotient]
-PlainTheory [section, in mathcomp.ssreflect.finfun]
-PlainTheory.aT [variable, in mathcomp.ssreflect.finfun]
-PlainTheory.rT [variable, in mathcomp.ssreflect.finfun]
plusE [lemma, in mathcomp.ssreflect.ssrnat]
pmap [definition, in mathcomp.ssreflect.seq]
Pmap [section, in mathcomp.ssreflect.seq]
@@ -1510,6 +1549,7 @@
pmapS_filter [lemma, in mathcomp.ssreflect.seq]
pmap_sub_uniq [lemma, in mathcomp.ssreflect.seq]
pmap_uniq [lemma, in mathcomp.ssreflect.seq]
+pmap_cat [lemma, in mathcomp.ssreflect.seq]
pmap_filter [lemma, in mathcomp.ssreflect.seq]
Pmap.aT [variable, in mathcomp.ssreflect.seq]
Pmap.f [variable, in mathcomp.ssreflect.seq]
@@ -1573,7 +1613,7 @@
polyCK [lemma, in mathcomp.algebra.poly]
PolyCompose [section, in mathcomp.algebra.poly]
PolyCompose.R [variable, in mathcomp.algebra.poly]
-_ \Po _ (ring_scope) [notation, in mathcomp.algebra.poly]
+_ \Po _ (ring_scope) [notation, in mathcomp.algebra.poly]
polyC_inv [lemma, in mathcomp.algebra.poly]
polyC_exp [lemma, in mathcomp.algebra.poly]
polyC_multiplicative [lemma, in mathcomp.algebra.poly]
@@ -1588,7 +1628,6 @@
polyC0 [lemma, in mathcomp.algebra.poly]
polyC1 [lemma, in mathcomp.algebra.poly]
polydiv [library]
-polyF [definition, in mathcomp.field.closed_field]
PolyK [lemma, in mathcomp.algebra.poly]
polynomial [record, in mathcomp.algebra.poly]
Polynomial [constructor, in mathcomp.algebra.poly]
@@ -1608,18 +1647,24 @@
PolynomialTheory.PolyOverAdd.kS [variable, in mathcomp.algebra.poly]
PolynomialTheory.PolyOverAdd.S [variable, in mathcomp.algebra.poly]
PolynomialTheory.PolyOverRing [section, in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverRing.kS [variable, in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverRing.ringS [variable, in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverRing.S [variable, in mathcomp.algebra.poly]
PolynomialTheory.PolyOverSemiring [section, in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverSemiring.kS [variable, in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverSemiring.ringS [variable, in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverSemiring.S [variable, in mathcomp.algebra.poly]
PolynomialTheory.R [variable, in mathcomp.algebra.poly]
-_ ^`N ( _ ) (ring_scope) [notation, in mathcomp.algebra.poly]
-_ ^` ( _ ) (ring_scope) [notation, in mathcomp.algebra.poly]
-_ .-primitive_root (ring_scope) [notation, in mathcomp.algebra.poly]
-_ .-unity_root (ring_scope) [notation, in mathcomp.algebra.poly]
-_ .[ _ ] (ring_scope) [notation, in mathcomp.algebra.poly]
-_ ^` [notation, in mathcomp.algebra.poly]
-_ %:P [notation, in mathcomp.algebra.poly]
-'X [notation, in mathcomp.algebra.poly]
-'X^ _ [notation, in mathcomp.algebra.poly]
-\poly_ ( _ < _ ) _ [notation, in mathcomp.algebra.poly]
+_ ^`N ( _ ) (ring_scope) [notation, in mathcomp.algebra.poly]
+_ ^` ( _ ) (ring_scope) [notation, in mathcomp.algebra.poly]
+_ .-primitive_root (ring_scope) [notation, in mathcomp.algebra.poly]
+_ .-unity_root (ring_scope) [notation, in mathcomp.algebra.poly]
+_ .[ _ ] (ring_scope) [notation, in mathcomp.algebra.poly]
+_ ^` [notation, in mathcomp.algebra.poly]
+_ %:P [notation, in mathcomp.algebra.poly]
+'X [notation, in mathcomp.algebra.poly]
+'X^ _ [notation, in mathcomp.algebra.poly]
+\poly_ ( _ < _ ) _ [notation, in mathcomp.algebra.poly]
polynomial_choiceMixin [definition, in mathcomp.algebra.poly]
polynomial_eqMixin [definition, in mathcomp.algebra.poly]
Polynomial.R [variable, in mathcomp.algebra.poly]
@@ -1679,7 +1724,6 @@
PolyZintRing [section, in mathcomp.algebra.ssrint]
PolyZintRing.R [variable, in mathcomp.algebra.ssrint]
poly_square_freeP [lemma, in mathcomp.field.separable]
-poly_countMixin [definition, in mathcomp.field.countalg]
poly_rV_is_linear [lemma, in mathcomp.algebra.mxpoly]
poly_rV_K [lemma, in mathcomp.algebra.mxpoly]
poly_rV [definition, in mathcomp.algebra.mxpoly]
@@ -1709,6 +1753,7 @@
poly_key [lemma, in mathcomp.algebra.poly]
poly_expanded_def [definition, in mathcomp.algebra.poly]
poly_nil [definition, in mathcomp.algebra.poly]
+poly_countMixin [definition, in mathcomp.algebra.poly]
poly_of [definition, in mathcomp.algebra.poly]
poly_inj [lemma, in mathcomp.algebra.poly]
poly0Vpos [lemma, in mathcomp.algebra.poly]
@@ -1780,6 +1825,7 @@
predn_exp [lemma, in mathcomp.ssreflect.binomial]
predn_int [lemma, in mathcomp.algebra.ssrint]
predOfType [abbreviation, in mathcomp.ssreflect.finset]
+PredType [definition, in mathcomp.ssreflect.ssrbool]
predT_subset [lemma, in mathcomp.ssreflect.fintype]
predU1 [definition, in mathcomp.ssreflect.eqtype]
predU1l [lemma, in mathcomp.ssreflect.eqtype]
@@ -1894,7 +1940,23 @@
PrimeChar.PrimeCharRing.charRp [variable, in mathcomp.field.finfield]
PrimeChar.PrimeCharRing.natrFp [variable, in mathcomp.field.finfield]
PrimeChar.PrimeCharRing.R0 [variable, in mathcomp.field.finfield]
-_ *p: _ [notation, in mathcomp.field.finfield]
+_ *p: _ [notation, in mathcomp.field.finfield]
+PrimeDecompAux [module, in mathcomp.ssreflect.prime]
+PrimeDecompAux.add_totient_factor [definition, in mathcomp.ssreflect.prime]
+PrimeDecompAux.add_divisors [definition, in mathcomp.ssreflect.prime]
+PrimeDecompAux.cons_pfactor [definition, in mathcomp.ssreflect.prime]
+PrimeDecompAux.edivn2 [definition, in mathcomp.ssreflect.prime]
+PrimeDecompAux.edivn2P [lemma, in mathcomp.ssreflect.prime]
+PrimeDecompAux.elogn2 [definition, in mathcomp.ssreflect.prime]
+PrimeDecompAux.elogn2P [lemma, in mathcomp.ssreflect.prime]
+PrimeDecompAux.Elogn2Spec [constructor, in mathcomp.ssreflect.prime]
+PrimeDecompAux.elogn2_spec [inductive, in mathcomp.ssreflect.prime]
+PrimeDecompAux.ifnz [definition, in mathcomp.ssreflect.prime]
+PrimeDecompAux.ifnzP [lemma, in mathcomp.ssreflect.prime]
+PrimeDecompAux.IfnzPos [constructor, in mathcomp.ssreflect.prime]
+PrimeDecompAux.IfnzZero [constructor, in mathcomp.ssreflect.prime]
+PrimeDecompAux.ifnz_spec [inductive, in mathcomp.ssreflect.prime]
+_ ^? _ :: _ (nat_scope) [notation, in mathcomp.ssreflect.prime]
PrimeField [section, in mathcomp.algebra.zmodp]
PrimeField.F_prime.p_pr [variable, in mathcomp.algebra.zmodp]
PrimeField.F_prime [section, in mathcomp.algebra.zmodp]
@@ -1923,7 +1985,7 @@
prime_nt_dvdP [lemma, in mathcomp.ssreflect.prime]
prime_decomp_correct [lemma, in mathcomp.ssreflect.prime]
prime_decomp [definition, in mathcomp.ssreflect.prime]
-[ rec _ , _ , _ , _ , _ , _ ] [notation, in mathcomp.ssreflect.prime]
+[ rec _ , _ , _ , _ , _ , _ ] [notation, in mathcomp.ssreflect.prime]
prime_decomp_rec [definition, in mathcomp.ssreflect.prime]
prime_decomp [section, in mathcomp.ssreflect.prime]
prime_idealrM [lemma, in mathcomp.algebra.ring_quotient]
@@ -2060,7 +2122,6 @@
prod_cfunE [lemma, in mathcomp.character.classfun]
prod_nat_const_nat [lemma, in mathcomp.ssreflect.bigop]
prod_nat_const [lemma, in mathcomp.ssreflect.bigop]
-prod_eqMixin [definition, in mathcomp.ssreflect.eqtype]
prod_t_correct [lemma, in mathcomp.solvable.burnside_app]
prod_tuple [definition, in mathcomp.solvable.burnside_app]
prod0v [lemma, in mathcomp.field.falgebra]
@@ -2268,7 +2329,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -2300,14 +2361,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -2332,7 +2393,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -2364,7 +2425,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -2396,7 +2457,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -2428,7 +2489,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -2460,7 +2521,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -2492,7 +2553,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -2524,14 +2585,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -2556,7 +2617,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -2588,7 +2649,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -2620,7 +2681,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -2652,14 +2713,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -2684,7 +2745,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3