diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-04-03 14:08:55 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-04-09 09:07:13 +0200 |
| commit | e2b364b720cc811f33789a089e2e8d5097d6049e (patch) | |
| tree | f5114c980193cdb6400f94973d5a065729eb91f5 /doc/sphinx/index.rst | |
| parent | c928c773b466369d8029ad8e4cd9022fa164f568 (diff) | |
[Sphinx] Add chapter 7
Thanks to Laurent Théry for porting this chapter.
Diffstat (limited to 'doc/sphinx/index.rst')
| -rw-r--r-- | doc/sphinx/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst index db03693ff..e2824d7ca 100644 --- a/doc/sphinx/index.rst +++ b/doc/sphinx/index.rst @@ -24,6 +24,7 @@ Table of contents .. toctree:: :caption: The proof engine + proof-engine/proof-handling proof-engine/tactics proof-engine/detailed-tactic-examples proof-engine/ssreflect-proof-language |