htmldoc regenerated

author: Enrico Tassi 2019-05-22 13:43:08 +0200
committer: Enrico Tassi 2019-05-22 15:34:14 +0200
commit: 748d716efb2f2f75946c8386e441ce1789806a39 (patch)
tree: fe7bb1c5235550410c64e968f4a4d69b7f10a047 /docs/htmldoc/index_notation_P.html
parent: 415be3b908daadabf178a292c885db78e5b2c9a4 (diff)
1 files changed, 38 insertions, 37 deletions
diff --git a/docs/htmldoc/index_notation_P.html b/docs/htmldoc/index_notation_P.html
index 1152843..3e21d07 100644
--- a/docs/htmldoc/index_notation_P.html
+++ b/docs/htmldoc/index_notation_P.html
@@ -4,7 +4,7 @@
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <link href="coqdoc.css" rel="stylesheet" type="text/css" />
-<title>mathcomp.ssreflect.tuple</title>
+<title>mathcomp.test_suite.hierarchy_test</title>
 </head>
 
 <body>
@@ -47,7 +47,7 @@
 <td><a href="index_global_Z.html">Z</a></td>
 <td>_</td>
 <td><a href="index_global_*.html">other</a></td>
-<td>(23233 entries)</td>
+<td>(23836 entries)</td>
 </tr>
 <tr>
 <td>Notation Index</td>
@@ -79,14 +79,14 @@
 <td><a href="index_notation_Z.html">Z</a></td>
 <td>_</td>
 <td><a href="index_notation_*.html">other</a></td>
-<td>(1373 entries)</td>
+<td>(1409 entries)</td>
 </tr>
 <tr>
 <td>Module Index</td>
 <td><a href="index_module_A.html">A</a></td>
 <td><a href="index_module_B.html">B</a></td>
 <td><a href="index_module_C.html">C</a></td>
-<td>D</td>
+<td><a href="index_module_D.html">D</a></td>
 <td><a href="index_module_E.html">E</a></td>
 <td><a href="index_module_F.html">F</a></td>
 <td><a href="index_module_G.html">G</a></td>
@@ -111,7 +111,7 @@
 <td>Z</td>
 <td>_</td>
 <td>other</td>
-<td>(213 entries)</td>
+<td>(221 entries)</td>
 </tr>
 <tr>
 <td>Variable Index</td>
@@ -143,7 +143,7 @@
 <td><a href="index_variable_Z.html">Z</a></td>
 <td>_</td>
 <td>other</td>
-<td>(3475 entries)</td>
+<td>(3574 entries)</td>
 </tr>
 <tr>
 <td>Library Index</td>
@@ -175,7 +175,7 @@
 <td><a href="index_library_Z.html">Z</a></td>
 <td>_</td>
 <td>other</td>
-<td>(89 entries)</td>
+<td>(90 entries)</td>
 </tr>
 <tr>
 <td>Lemma Index</td>
@@ -207,7 +207,7 @@
 <td><a href="index_lemma_Z.html">Z</a></td>
 <td>_</td>
 <td>other</td>
-<td>(11853 entries)</td>
+<td>(12096 entries)</td>
 </tr>
 <tr>
 <td>Constructor Index</td>
@@ -239,7 +239,7 @@
 <td><a href="index_constructor_Z.html">Z</a></td>
 <td>_</td>
 <td>other</td>
-<td>(359 entries)</td>
+<td>(368 entries)</td>
 </tr>
 <tr>
 <td>Axiom Index</td>
@@ -271,7 +271,7 @@
 <td>Z</td>
 <td>_</td>
 <td>other</td>
-<td>(47 entries)</td>
+<td>(45 entries)</td>
 </tr>
 <tr>
 <td>Inductive Index</td>
@@ -303,14 +303,14 @@
 <td>Z</td>
 <td>_</td>
 <td>other</td>
-<td>(103 entries)</td>
+<td>(107 entries)</td>
 </tr>
 <tr>
 <td>Projection Index</td>
 <td><a href="index_projection_A.html">A</a></td>
 <td><a href="index_projection_B.html">B</a></td>
 <td><a href="index_projection_C.html">C</a></td>
-<td>D</td>
+<td><a href="index_projection_D.html">D</a></td>
 <td><a href="index_projection_E.html">E</a></td>
 <td><a href="index_projection_F.html">F</a></td>
 <td><a href="index_projection_G.html">G</a></td>
@@ -335,7 +335,7 @@
 <td><a href="index_projection_Z.html">Z</a></td>
 <td>_</td>
 <td>other</td>
-<td>(266 entries)</td>
+<td>(273 entries)</td>
 </tr>
 <tr>
 <td>Section Index</td>
@@ -367,7 +367,7 @@
 <td><a href="index_section_Z.html">Z</a></td>
 <td>_</td>
 <td>other</td>
-<td>(1118 entries)</td>
+<td>(1140 entries)</td>
 </tr>
 <tr>
 <td>Abbreviation Index</td>
@@ -399,7 +399,7 @@
 <td><a href="index_abbreviation_Z.html">Z</a></td>
 <td>_</td>
 <td>other</td>
-<td>(691 entries)</td>
+<td>(728 entries)</td>
 </tr>
 <tr>
 <td>Definition Index</td>
@@ -431,14 +431,14 @@
 <td><a href="index_definition_Z.html">Z</a></td>
 <td>_</td>
 <td>other</td>
-<td>(3461 entries)</td>
+<td>(3596 entries)</td>
 </tr>
 <tr>
 <td>Record Index</td>
 <td><a href="index_record_A.html">A</a></td>
 <td>B</td>
 <td><a href="index_record_C.html">C</a></td>
-<td>D</td>
+<td><a href="index_record_D.html">D</a></td>
 <td><a href="index_record_E.html">E</a></td>
 <td><a href="index_record_F.html">F</a></td>
 <td><a href="index_record_G.html">G</a></td>
@@ -463,29 +463,30 @@
 <td><a href="index_record_Z.html">Z</a></td>
 <td>_</td>
 <td>other</td>
-<td>(185 entries)</td>
+<td>(189 entries)</td>
 </tr>
 </table>
 <hr/><a name="notation_P"></a><h2>P (notation)</h2>
-<a href="mathcomp.algebra.polydiv.html#34b65849dab7adb22098517124e67650">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
-<a href="mathcomp.algebra.polydiv.html#67d6f029332878db8c6f4efc5c9b26ee">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
-<a href="mathcomp.algebra.polydiv.html#9c1ccd33b816bf809c7479082caaf63e">_ %= _ (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
-<a href="mathcomp.algebra.polydiv.html#8d02531a91f8648b92789372c052c0ad">_ %| _ (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
-<a href="mathcomp.algebra.polydiv.html#538b21ac9fb9938cd88200e5780e8f9d">_ %% _ (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
-<a href="mathcomp.algebra.polydiv.html#6a276cc55c6f28b3ec69a3618ce07a9c">_ %/ _ (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
-<a href="mathcomp.algebra.poly.html#3963cf6cfb5e8b54483fc37af1a6db2d">_ \Po _ (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#a942f71ef6e79d81ec1823e85631f18b">_ ^`N ( _ ) (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#d70b9939cc44180cb082f293ad21429e">_ ^` ( _ ) (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#2bd58b7fc104e5befe2ca1fecac7c623">_ .-primitive_root (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#7f47f838360ae58c7843275633f83d07">_ .-unity_root (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#baba25a9b511327d163a4abdecb45e2a">_ .[ _ ] (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#9caef92b6a6aef95cfbc4574952f8622">_ ^`</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#4a33fe2dad4a62417624cbe36418a1fe">_ %:P</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#a1cd5f9ec97ed6af469b2ab6da5bc5f9">'X</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#5342abeecce868539daa879464131e00">'X^ _</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#b1bd1c5077c681a8a37f97ae835f4bf6">\poly_ ( _ < _ ) _</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.field.finfield.html#5f6f59b8095d2eaa0b5a55ed9129580f">_ *p: _</a> [in <a href="mathcomp.field.finfield.html">mathcomp.field.finfield</a>]<br/>
-<a href="mathcomp.ssreflect.prime.html#07e1474be9be12fc282844ac903c103e">[ rec _ , _ , _ , _ , _ , _ ]</a> [in <a href="mathcomp.ssreflect.prime.html">mathcomp.ssreflect.prime</a>]<br/>
+<a href="mathcomp.algebra.polydiv.html#ffd296f893410e849a35ec5356a13636">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
+<a href="mathcomp.algebra.polydiv.html#7ccad1b5013efc6ffe407f7b77347c15">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
+<a href="mathcomp.algebra.polydiv.html#952776a2e27e0a80427a97e8cd81c9aa">_ %= _ (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
+<a href="mathcomp.algebra.polydiv.html#64fc6df2b95b79b2107dd5d7f2014b97">_ %| _ (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
+<a href="mathcomp.algebra.polydiv.html#d8832071e7663562cc14f17c6edf99dc">_ %% _ (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
+<a href="mathcomp.algebra.polydiv.html#72a0c853cc9a32bb5fdc8a920a96e7c6">_ %/ _ (ring_scope)</a> [in <a href="mathcomp.algebra.polydiv.html">mathcomp.algebra.polydiv</a>]<br/>
+<a href="mathcomp.algebra.poly.html#b0797d7dde7f681ae2ccab57f6c6a648">_ \Po _ (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#31951e7a9fd9bb5a774892066ed196b8">_ ^`N ( _ ) (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#1d9676bfa4392b4098c6e293b2d018ad">_ ^` ( _ ) (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#945c56de5ff21a9d3435445d11cfa3f2">_ .-primitive_root (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#cf34ca2293616a3eea81a8b32110ecbc">_ .-unity_root (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#03fafeca1d8bb8af3cc89a1830d3996b">_ .[ _ ] (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#cfa0aa09962cfc701c4777d893c479b4">_ ^`</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#728a2917ff59e46e3f0e4d98ed9ea172">_ %:P</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#78f0b7e9c087664de9d653df6828ab64">'X</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#72573bab7b99d99443b6173a7515ef0d">'X^ _</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#27fd9446e6d344308e4e6554f93d6b3b">\poly_ ( _ < _ ) _</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.field.finfield.html#99d0e83cb5d8e3b8b8814aee93045e65">_ *p: _</a> [in <a href="mathcomp.field.finfield.html">mathcomp.field.finfield</a>]<br/>
+<a href="mathcomp.ssreflect.prime.html#7be21c16e780ad44531793b3b1a9d2d1">_ ^? _ :: _ (nat_scope)</a> [in <a href="mathcomp.ssreflect.prime.html">mathcomp.ssreflect.prime</a>]<br/>
+<a href="mathcomp.ssreflect.prime.html#074ed9914305c17e256e36efda3fbe58">[ rec _ , _ , _ , _ , _ , _ ]</a> [in <a href="mathcomp.ssreflect.prime.html">mathcomp.ssreflect.prime</a>]<br/>
 <br/><br/></div>
 
 <div id="footer">
author	Enrico Tassi	2019-05-22 13:43:08 +0200
committer	Enrico Tassi	2019-05-22 15:34:14 +0200
commit	748d716efb2f2f75946c8386e441ce1789806a39 (patch)
tree	fe7bb1c5235550410c64e968f4a4d69b7f10a047 /docs/htmldoc/index_notation_P.html
parent	415be3b908daadabf178a292c885db78e5b2c9a4 (diff)