From 8cc98698e8fc2cf86c5173c2dc0834538a2ca075 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Sun, 29 Apr 2018 23:19:10 -0400
Subject: [doc] Small fixes

---
 doc/sphinx/user-extensions/proof-schemes.rst | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'doc/sphinx/user-extensions')

diff --git a/doc/sphinx/user-extensions/proof-schemes.rst b/doc/sphinx/user-extensions/proof-schemes.rst
index 682553c31b..838926d651 100644
--- a/doc/sphinx/user-extensions/proof-schemes.rst
+++ b/doc/sphinx/user-extensions/proof-schemes.rst
@@ -106,15 +106,15 @@ Automatic declaration of schemes
 
 .. opt:: Elimination Schemes
 
-It is possible to deactivate the automatic declaration of the
-induction principles when defining a new inductive type with the
-``Unset Elimination Schemes`` command. It may be reactivated at any time with
-``Set Elimination Schemes``.
+   It is possible to deactivate the automatic declaration of the
+   induction principles when defining a new inductive type with the
+   ``Unset Elimination Schemes`` command. It may be reactivated at any time with
+   ``Set Elimination Schemes``.
 
 .. opt:: Nonrecursive Elimination Schemes
 
-This option controls whether types declared with the keywords :cmd:`Variant` and
-:cmd:`Record` get an automatic declaration of the induction principles.
+   This option controls whether types declared with the keywords :cmd:`Variant` and
+   :cmd:`Record` get an automatic declaration of the induction principles.
 
 .. opt:: Case Analysis Schemes
 
@@ -125,8 +125,8 @@ This option controls whether types declared with the keywords :cmd:`Variant` and
 
 .. opt:: Decidable Equality Schemes
 
-These flags control the automatic declaration of those Boolean equalities (see
-the second variant of ``Scheme``).
+   These flags control the automatic declaration of those Boolean equalities (see
+   the second variant of ``Scheme``).
 
 .. warning::
 
-- 
cgit v1.2.3