diff options
| author | Vincent Laporte | 2019-03-21 15:59:52 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-07-26 09:11:41 +0000 |
| commit | 56cc02a39a52485a732b3dc443e102a3511f8021 (patch) | |
| tree | 36b49844afaa95e720e0fb2ab67de19a6df4f23c /doc/stdlib | |
| parent | 2f57090a48768f5cdc386110b0d21a620fe67d05 (diff) | |
[stdlib] Remove deprecated module Zsqrt_compat
Diffstat (limited to 'doc/stdlib')
| -rw-r--r-- | doc/stdlib/index-list.html.template | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 8d481b7f03..8b5ede7036 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -181,7 +181,6 @@ through the <tt>Require Import</tt> command.</p> theories/ZArith/Zhints.v (theories/ZArith/ZArith_base.v) theories/ZArith/Zcomplements.v - theories/ZArith/Zsqrt_compat.v theories/ZArith/Zpow_def.v theories/ZArith/Zpow_alt.v theories/ZArith/Zpower.v |