diff options
| author | Vincent Semeria | 2018-08-27 21:29:12 +0200 |
|---|---|---|
| committer | Vincent Semeria | 2018-11-01 13:46:22 +0100 |
| commit | 46d9fb0971b0f6cce3c587c92c54a54fa6abd6a4 (patch) | |
| tree | b7e5fd97ab1dfaee196f08703eff678499881a28 /doc/stdlib | |
| parent | 50f0cfc6b7862f7ea38fefbbf1b989f32989ad90 (diff) | |
Fix header and doc index
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 e8f6decfbf..a1282dcd8c 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>: |