From 12fd678c3cf163f76110b3b5edeb8a8bcfa82787 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <mattam@mattam.org>
Date: Sat, 30 Nov 2013 13:41:39 +0100
Subject: - Fix index-list to show computational relations for rewriting files.
 - Fix hasheq which didn't have a case for Proj making hashconsing
 exponentially slower.

Conflicts:
	kernel/constr.ml
	kernel/univ.ml
	proofs/proof_global.ml
---
 doc/stdlib/index-list.html.template | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 1f8ff94e1..d774ed597 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -393,6 +393,9 @@ through the <tt>Require Import</tt> command.</p>
     theories/Classes/Morphisms_Prop.v
     theories/Classes/Morphisms_Relations.v
     theories/Classes/Equivalence.v
+    theories/Classes/CRelationClasses.v
+    theories/Classes/CMorphisms.v
+    theories/Classes/CEquivalence.v
     theories/Classes/EquivDec.v
     theories/Classes/SetoidTactics.v
     theories/Classes/SetoidClass.v
-- 
cgit v1.2.3