1 files changed, 68 insertions, 68 deletions
diff --git a/docs/htmldoc/index_notation_M.html b/docs/htmldoc/index_notation_M.html
index 7cc12c9..1673fd2 100644
--- a/docs/htmldoc/index_notation_M.html
+++ b/docs/htmldoc/index_notation_M.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,43 +463,43 @@
 <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_M"></a><h2>M (notation)</h2>
-<a href="mathcomp.algebra.mxpoly.html#434323eabd83251a96adefe7e9c505c5">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#f87866ba8cd1624e1947136fd0b7ea04">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.poly.html#6808a1f3c4c980ac2ccb289ca5e44206">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.mxpoly.html#041fb544cfc5686d5af02f919429c54f">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
-<a href="mathcomp.algebra.mxalgebra.html#b131265909f3a801cb4367eec910d732">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#b445d3501620da3b306ed068f7c864a7">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.poly.html#7d2b3e616181246d58c271ab24bc9d56">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#655a5cbe5192b668144a8107711db834">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.poly.html#b0a4b98f65b912dc010655ba49aed12f">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#9f6c421a139de435ca847198e46df8c0">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.mxpoly.html#9f6c421a139de435ca847198e46df8c0">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#479b17b45199ea1ed1c4afe064416af1">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#9f61d450b1c16584e53d42e9b80b7e9e">_ *m: _ (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#7e0a687e8b3ecbe9dc390072328f2a02">_ %:M (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#dddd04618622462b0f6d04a328c9ed37">\tr _ (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.mxalgebra.html#9fdeed72b47a12f54ffaf8faf3f4e8a4">'Z ( _ ) (matrix_set_scope)</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
-<a href="mathcomp.algebra.mxalgebra.html#6f6a817e8af480225304556c4b1a37bc">'C ( _ ) (matrix_set_scope)</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
-<a href="mathcomp.algebra.mxalgebra.html#fd554c34965aa6852b3a09f211aef8b0">_ * _ (matrix_set_scope)</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#96a53c40395815f168804b3e9251775e">\tr _ (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#214a0bf07a0a0de5c6aebf03e1f2a5c7">_ *m _ (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#f0439935524a049a771823d6a7a44496">_ %:M (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.algebra.mxalgebra.html#002b20fea7ea6146f072b539b8de9620">_ \in _</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
-<a href="mathcomp.algebra.matrix.html#445ad0600a9fd3b438aa099d79ca3f3a">_ ^T (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
-<a href="mathcomp.ssreflect.bigop.html#b25ccbc213967b87d966fdb2702413fa">_ * _</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
-<a href="mathcomp.ssreflect.bigop.html#c82197763a0dd496120819d8f365a45e">*%M</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
-<a href="mathcomp.ssreflect.bigop.html#1888fbf7456ea9b1e55b1a456f115da0">_ * _</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
-<a href="mathcomp.ssreflect.bigop.html#a2acafd8daeae4104c6aac163f1a7c52">*%M</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
-<a href="mathcomp.ssreflect.bigop.html#0c654cf4cb20c966a96e17bafbe8e47c">1</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
-<a href="mathcomp.ssreflect.bigop.html#3759935094ad0adf0adc03d4027e4a9d">[ add_law _ of _ ] (form_scope)</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
-<a href="mathcomp.ssreflect.bigop.html#6a17f9cab4f53335e165dca6c368f81a">[ mul_law of _ ] (form_scope)</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
-<a href="mathcomp.ssreflect.bigop.html#f01f35dc12f1fe626d93029e6534fbf3">[ com_law of _ ] (form_scope)</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
-<a href="mathcomp.ssreflect.bigop.html#63ca36d66d47ad202886c7c65c88c378">[ law of _ ] (form_scope)</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
-<a href="mathcomp.algebra.ssrint.html#e0d2a01f79c224eaeeb036c69b97e850">_ ^f</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/>
+<a href="mathcomp.algebra.mxpoly.html#e4e440bd0e6055cffe6740e4a836968e">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#9d3374d589a13133fdaed07caecf4d33">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.poly.html#972c6bc88e7a669e15352d4d2f4bf8cb">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.mxpoly.html#5f1925a9c24ff4e03a5528db5ad9eddc">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
+<a href="mathcomp.algebra.mxalgebra.html#64a7caee0a3cf4d848aa409baa5e70f5">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#d36c85c08e6bc06a03a0af528e062f26">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.poly.html#f96de40aa5b46ab228915f8026ade3b8">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#77bee8efe57fbb5773ae6e32ab3a0709">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.poly.html#08484e31d7e3ec6a6712aaeb95848c94">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#9ade10a0869c3a521d87ab9890c112dd">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.mxpoly.html#9ade10a0869c3a521d87ab9890c112dd">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#76b5aeafe828ce631ffccd8f78f059ea">_ ^f (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#9debb1fd6a4126e6680903c55c018a93">_ *m: _ (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#7e03ba8094ca395d410e19b2de7bc7f0">_ %:M (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#4a3574d5d59f5b06ea258779cba9ae4a">\tr _ (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.mxalgebra.html#59d3f372b35ea6f62351d739453bd3ac">'Z ( _ ) (matrix_set_scope)</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
+<a href="mathcomp.algebra.mxalgebra.html#5580b74451c106276b6637b4c3d0e16a">'C ( _ ) (matrix_set_scope)</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
+<a href="mathcomp.algebra.mxalgebra.html#90d438ddb283d0b7a7b8496794bbb81b">_ * _ (matrix_set_scope)</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#18306fb4f25d05e26085dcdbda0e43a4">\tr _ (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#94b466ee24f49d7e561171fc23a36c8d">_ *m _ (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#71bd40847c76c3652311fa22e057bab2">_ %:M (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.algebra.mxalgebra.html#7aed6abca956bf1cb53b7f7024bbdd8c">_ \in _</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
+<a href="mathcomp.algebra.matrix.html#82d06d97ea622769b781f4bb9951aa48">_ ^T (ring_scope)</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
+<a href="mathcomp.ssreflect.bigop.html#fa96cf288c7d631ec59b7d16f33878eb">_ * _</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
+<a href="mathcomp.ssreflect.bigop.html#4461abbe51a521b546e6aa0e9d87a0f5">*%M</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
+<a href="mathcomp.ssreflect.bigop.html#d3310823c977c18402e087052356682e">_ * _</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
+<a href="mathcomp.ssreflect.bigop.html#fc6b31eb5a9c190f3c69acfe152eb8da">*%M</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
+<a href="mathcomp.ssreflect.bigop.html#28f7764b62e7a7fd835da7bb8c5c2e26">1</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
+<a href="mathcomp.ssreflect.bigop.html#9817ef3828fb82ac1e3d0b86f80b4caa">[ add_law _ of _ ] (form_scope)</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
+<a href="mathcomp.ssreflect.bigop.html#c8301b47409c0354edf11a5fa45f684e">[ mul_law of _ ] (form_scope)</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
+<a href="mathcomp.ssreflect.bigop.html#f6879cc6b2f76829a745ea8ba8f8ac82">[ com_law of _ ] (form_scope)</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
+<a href="mathcomp.ssreflect.bigop.html#c0ead7c536b771c2de27837c46f4d177">[ law of _ ] (form_scope)</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/>
+<a href="mathcomp.algebra.ssrint.html#053621076ed59ad170ac70a08190d12e">_ ^f</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/>
 <br/><br/><hr/><table>
 <tr>
 <td>Global Index</td>
@@ -531,7 +531,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>
@@ -563,14 +563,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>
@@ -595,7 +595,7 @@
 <td>Z</td>
 <td>_</td>
 <td>other</td>
-<td>(213 entries)</td>
+<td>(221 entries)</td>
 </tr>
 <tr>
 <td>Variable Index</td>
@@ -627,7 +627,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>
@@ -659,7 +659,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>
@@ -691,7 +691,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>
@@ -723,7 +723,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>
@@ -755,7 +755,7 @@
 <td>Z</td>
 <td>_</td>
 <td>other</td>
-<td>(47 entries)</td>
+<td>(45 entries)</td>
 </tr>
 <tr>
 <td>Inductive Index</td>
@@ -787,14 +787,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>
@@ -819,7 +819,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>
@@ -851,7 +851,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>
@@ -883,7 +883,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>
@@ -915,14 +915,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>
@@ -947,7 +947,7 @@
 <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>
 </div>