From 8bc0c8675a30eb54b6f9af5c19a6279de011c1ed Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 16 Jul 2010 15:50:16 +0000
Subject: FSetPositive: sets of positive inspired by FMapPositive.
Contributed by Alexandre Ren, Damien Pous, and Thomas Braibant.
I've also included a MSets version, hence FSetPositive might become
soon a mere wrapper for MSetPositive, as for other FSets
implementations.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13287 85f007b7-540e-0410-9357-904b9bb8a0f7
---
doc/stdlib/index-list.html.template | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
(limited to 'doc/stdlib')
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 8f80d56ce..a4feb012b 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -425,6 +425,7 @@ through the Require Import command.
theories/MSets/MSetWeakList.v
theories/MSets/MSetList.v
theories/MSets/MSetAVL.v
+ theories/MSets/MSetPositive.v
theories/MSets/MSetToFiniteSet.v
(theories/MSets/MSets.v)
@@ -444,8 +445,9 @@ through the Require Import command.
theories/FSets/FSetList.v
theories/FSets/FSetWeakList.v
theories/FSets/FSetCompat.v
- (theories/FSets/FSets.v)
theories/FSets/FSetAVL.v
+ theories/FSets/FSetPositive.v
+ (theories/FSets/FSets.v)
theories/FSets/FSetToFiniteSet.v
theories/FSets/FMapInterface.v
theories/FSets/FMapWeakList.v
--
cgit v1.2.3