FSets « theories - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	FMapAVL.v	58360	log plain
-rw-r--r--	FMapFacts.v	15243	log plain
-rw-r--r--	FMapIntMap.v	16927	log plain
-rw-r--r--	FMapInterface.v	9517	log plain
-rw-r--r--	FMapList.v	37939	log plain
-rw-r--r--	FMapPositive.v	33823	log plain
-rw-r--r--	FMapWeak.v	733	log plain
-rw-r--r--	FMapWeakFacts.v	16374	log plain
-rw-r--r--	FMapWeakInterface.v	8048	log plain
-rw-r--r--	FMapWeakList.v	29018	log plain
-rw-r--r--	FMaps.v	801	log plain
-rw-r--r--	FSetAVL.v	82709	log plain
-rw-r--r--	FSetBridge.v	23363	log plain
-rw-r--r--	FSetEqProperties.v	22234	log plain
-rw-r--r--	FSetFacts.v	11644	log plain
-rw-r--r--	FSetInterface.v	14329	log plain
-rw-r--r--	FSetList.v	37835	log plain
-rw-r--r--	FSetProperties.v	24465	log plain
-rw-r--r--	FSetToFiniteSet.v	4306	log plain
-rw-r--r--	FSetWeak.v	761	log plain
-rw-r--r--	FSetWeakFacts.v	11773	log plain
-rw-r--r--	FSetWeakInterface.v	8914	log plain
-rw-r--r--	FSetWeakList.v	28065	log plain
-rw-r--r--	FSetWeakProperties.v	24536	log plain
-rw-r--r--	FSets.v	811	log plain
-rw-r--r--	OrderedType.v	16212	log plain
-rw-r--r--	OrderedTypeAlt.v	3389	log plain
-rw-r--r--	OrderedTypeEx.v	6892	log plain