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