FSets « theories - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	DecidableType.v	4053	log plain
-rw-r--r--	DecidableTypeEx.v	1836	log plain
-rw-r--r--	FMapAVL.v	56147	log plain
-rw-r--r--	FMapIntMap.v	16805	log plain
-rw-r--r--	FMapInterface.v	9464	log plain
-rw-r--r--	FMapList.v	34383	log plain
-rw-r--r--	FMapPositive.v	33771	log plain
-rw-r--r--	FMapWeak.v	656	log plain
-rw-r--r--	FMapWeakInterface.v	7991	log plain
-rw-r--r--	FMapWeakList.v	26187	log plain
-rw-r--r--	FMaps.v	731	log plain
-rw-r--r--	FSetAVL.v	80229	log plain
-rw-r--r--	FSetBridge.v	23300	log plain
-rw-r--r--	FSetEqProperties.v	22174	log plain
-rw-r--r--	FSetFacts.v	11464	log plain
-rw-r--r--	FSetInterface.v	14277	log plain
-rw-r--r--	FSetList.v	34471	log plain
-rw-r--r--	FSetProperties.v	24407	log plain
-rw-r--r--	FSetToFiniteSet.v	4202	log plain
-rw-r--r--	FSetWeak.v	713	log plain
-rw-r--r--	FSetWeakFacts.v	11592	log plain
-rw-r--r--	FSetWeakInterface.v	8862	log plain
-rw-r--r--	FSetWeakList.v	25459	log plain
-rw-r--r--	FSetWeakProperties.v	24474	log plain
-rw-r--r--	FSets.v	797	log plain
-rw-r--r--	Int.v	14187	log plain
-rw-r--r--	OrderedType.v	16119	log plain
-rw-r--r--	OrderedTypeAlt.v	3335	log plain
-rw-r--r--	OrderedTypeEx.v	6835	log plain