FSets « theories - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	FMapAVL.v	58683	log plain
-rw-r--r--	FMapFacts.v	32974	log plain
-rw-r--r--	FMapIntMap.v	17034	log plain
-rw-r--r--	FMapInterface.v	9721	log plain
-rw-r--r--	FMapList.v	38165	log plain
-rw-r--r--	FMapPositive.v	33811	log plain
-rw-r--r--	FMapWeak.v	685	log plain
-rw-r--r--	FMapWeakFacts.v	21935	log plain
-rw-r--r--	FMapWeakInterface.v	8386	log plain
-rw-r--r--	FMapWeakList.v	29009	log plain
-rw-r--r--	FMaps.v	756	log plain
-rw-r--r--	FSetAVL.v	84252	log plain
-rw-r--r--	FSetBridge.v	26028	log plain
-rw-r--r--	FSetEqProperties.v	22658	log plain
-rw-r--r--	FSetFacts.v	14335	log plain
-rw-r--r--	FSetInterface.v	14788	log plain
-rw-r--r--	FSetList.v	39193	log plain
-rw-r--r--	FSetProperties.v	30899	log plain
-rw-r--r--	FSetToFiniteSet.v	4257	log plain
-rw-r--r--	FSetWeak.v	721	log plain
-rw-r--r--	FSetWeakFacts.v	13822	log plain
-rw-r--r--	FSetWeakInterface.v	9443	log plain
-rw-r--r--	FSetWeakList.v	29830	log plain
-rw-r--r--	FSetWeakProperties.v	25305	log plain
-rw-r--r--	FSets.v	766	log plain
-rw-r--r--	OrderedType.v	16190	log plain
-rw-r--r--	OrderedTypeAlt.v	3335	log plain
-rw-r--r--	OrderedTypeEx.v	6874	log plain