From f0aaf94f61f996808c29e37c827fc5d85761bddb Mon Sep 17 00:00:00 2001
From: Olivier Laurent
Date: Fri, 3 Apr 2020 00:45:03 +0200
Subject: add order properties about bool

---
 doc/stdlib/index-list.html.template | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index b2c9c936c9..4a62888552 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -99,6 +99,7 @@ through the <tt>Require Import</tt> command.</p>
   <dd>
     theories/Bool/Bool.v
     theories/Bool/BoolEq.v
+    theories/Bool/BoolOrder.v
     theories/Bool/DecBool.v
     theories/Bool/IfProp.v
     theories/Bool/Sumbool.v
-- 
cgit v1.2.3