diff options
| author | Hugo Herbelin | 2018-11-16 00:46:26 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2018-11-16 00:46:26 +0100 |
| commit | 778213b89d893b55e572fc1813c7209d647ed6b0 (patch) | |
| tree | cba5e17bfdfdf637cd2c7219eb46362260f34452 /doc/stdlib | |
| parent | 5bcf956b822a36f2ad9613eeebec3c206de1ac6b (diff) | |
| parent | 71e95436cddadf534f4bd3f03c4e852780958dfc (diff) | |
Merge PR #8888: Proof runcountable rebase
Diffstat (limited to 'doc/stdlib')
| -rw-r--r-- | doc/stdlib/index-list.html.template | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 64164cc56f..4fc9bf9e19 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -571,6 +571,7 @@ through the <tt>Require Import</tt> command.</p> theories/Reals/Sqrt_reg.v theories/Reals/Rlogic.v (theories/Reals/Reals.v) + theories/Reals/Runcountable.v </dd> <dt> <b>Program</b>: |