FSets « theories - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	FMapAVL.v	58589	log plain
-rw-r--r--	FMapFacts.v	32634	log plain
-rw-r--r--	FMapIntMap.v	17028	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	21590	log plain
-rw-r--r--	FMapWeakInterface.v	8386	log plain
-rw-r--r--	FMapWeakList.v	28974	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	22661	log plain
-rw-r--r--	FSetFacts.v	14244	log plain
-rw-r--r--	FSetInterface.v	14788	log plain
-rw-r--r--	FSetList.v	39193	log plain
-rw-r--r--	FSetProperties.v	30639	log plain
-rw-r--r--	FSetToFiniteSet.v	4251	log plain
-rw-r--r--	FSetWeak.v	721	log plain
-rw-r--r--	FSetWeakFacts.v	13731	log plain
-rw-r--r--	FSetWeakInterface.v	9443	log plain
-rw-r--r--	FSetWeakList.v	29812	log plain
-rw-r--r--	FSetWeakProperties.v	25050	log plain
-rw-r--r--	FSets.v	766	log plain
-rw-r--r--	OrderedType.v	16169	log plain
-rw-r--r--	OrderedTypeAlt.v	3335	log plain
-rw-r--r--	OrderedTypeEx.v	6860	log plain