theories - coq - the Coq proof assistant

Mode	Name	Size
d---------	Arith	822	log plain
d---------	Bool	290	log plain
d---------	Classes	666	log plain
d---------	Compat	108	log plain
d---------	FSets	886	log plain
d---------	Init	401	log plain
d---------	Lists	351	log plain
d---------	Logic	1317	log plain
d---------	MMaps	314	log plain
d---------	MSets	567	log plain
d---------	NArith	404	log plain
d---------	Numbers	370	log plain
d---------	PArith	225	log plain
d---------	Program	366	log plain
d---------	QArith	483	log plain
d---------	Reals	2404	log plain
d---------	Relations	225	log plain
d---------	Setoids	74	log plain
d---------	Sets	958	log plain
d---------	Sorting	305	log plain
d---------	Strings	109	log plain
d---------	Structures	616	log plain
d---------	Unicode	111	log plain
d---------	Vectors	224	log plain
d---------	Wellfounded	440	log plain
d---------	ZArith	1254	log plain
-rw-r--r--	theories.itarget	475	log plain