From 26c390aae1275f02892412f121360668ad98a660 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Thu, 20 Feb 2014 17:39:15 +0100
Subject: fixup complement Fin

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

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 9382a0890..1f8ff94e1 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -70,6 +70,7 @@ through the <tt>Require Import</tt> command.</p>
     theories/Logic/FunctionalExtensionality.v
     theories/Logic/ExtensionalityFacts.v
     theories/Logic/Fan.v
+    theories/Logic/FinFun.v
   </dd>
     
   <dt> <b>Structures</b>:
@@ -410,6 +411,7 @@ through the <tt>Require Import</tt> command.</p>
   </dt>
   <dd> 
     theories/Lists/List.v
+    theories/Lists/ListDec.v
     theories/Lists/ListSet.v
     theories/Lists/SetoidList.v
     theories/Lists/SetoidPermutation.v
-- 
cgit v1.2.3