FSets « theories - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	FMapAVL.v	58314	log plain
-rw-r--r--	FMapFacts.v	15194	log plain
-rw-r--r--	FMapIntMap.v	16877	log plain
-rw-r--r--	FMapInterface.v	9464	log plain
-rw-r--r--	FMapList.v	37891	log plain
-rw-r--r--	FMapPositive.v	33707	log plain
-rw-r--r--	FMapWeak.v	685	log plain
-rw-r--r--	FMapWeakFacts.v	16321	log plain
-rw-r--r--	FMapWeakInterface.v	7991	log plain
-rw-r--r--	FMapWeakList.v	28967	log plain
-rw-r--r--	FMaps.v	756	log plain
-rw-r--r--	FSetAVL.v	82663	log plain
-rw-r--r--	FSetBridge.v	23313	log plain
-rw-r--r--	FSetEqProperties.v	22178	log plain
-rw-r--r--	FSetFacts.v	11595	log plain
-rw-r--r--	FSetInterface.v	14276	log plain
-rw-r--r--	FSetList.v	37787	log plain
-rw-r--r--	FSetProperties.v	24411	log plain
-rw-r--r--	FSetToFiniteSet.v	4251	log plain
-rw-r--r--	FSetWeak.v	713	log plain
-rw-r--r--	FSetWeakFacts.v	11720	log plain
-rw-r--r--	FSetWeakInterface.v	8857	log plain
-rw-r--r--	FSetWeakList.v	28013	log plain
-rw-r--r--	FSetWeakProperties.v	24478	log plain
-rw-r--r--	FSets.v	766	log plain
-rw-r--r--	OrderedType.v	16161	log plain
-rw-r--r--	OrderedTypeAlt.v	3335	log plain
-rw-r--r--	OrderedTypeEx.v	6851	log plain