From 88af5db4957e7e866ea507825ff0f08bd09c38ad Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 20 Jul 2012 14:22:44 +0000
Subject: Vector equalities first stuff

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15632 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 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 0f21c082b..b7a76b94f 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -424,6 +424,7 @@ through the <tt>Require Import</tt> command.</p>
       theories/Vectors/Fin.v
       theories/Vectors/VectorDef.v
       theories/Vectors/VectorSpec.v
+      theories/Vectors/VectorEq.v
       (theories/Vectors/Vector.v)
     </dd>
 
-- 
cgit v1.2.3