FSets « theories - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	FMapAVL.v	58339	log plain
-rw-r--r--	FMapFacts.v	15194	log plain
-rw-r--r--	FMapIntMap.v	16879	log plain
-rw-r--r--	FMapInterface.v	9466	log plain
-rw-r--r--	FMapList.v	37895	log plain
-rw-r--r--	FMapPositive.v	33631	log plain
-rw-r--r--	FMapWeak.v	685	log plain
-rw-r--r--	FMapWeakFacts.v	16321	log plain
-rw-r--r--	FMapWeakInterface.v	7993	log plain
-rw-r--r--	FMapWeakList.v	28971	log plain
-rw-r--r--	FMaps.v	756	log plain
-rw-r--r--	FSetAVL.v	83886	log plain
-rw-r--r--	FSetBridge.v	25807	log plain
-rw-r--r--	FSetEqProperties.v	22647	log plain
-rw-r--r--	FSetFacts.v	13235	log plain
-rw-r--r--	FSetInterface.v	14763	log plain
-rw-r--r--	FSetList.v	38972	log plain
-rw-r--r--	FSetProperties.v	26587	log plain
-rw-r--r--	FSetToFiniteSet.v	4251	log plain
-rw-r--r--	FSetWeak.v	721	log plain
-rw-r--r--	FSetWeakFacts.v	11720	log plain
-rw-r--r--	FSetWeakInterface.v	8861	log plain
-rw-r--r--	FSetWeakList.v	28017	log plain
-rw-r--r--	FSetWeakProperties.v	24478	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