theories - coq - The formal proof system

Mode	Name	Size
d---------	Arith	784	log plain
d---------	Bool	252	log plain
d---------	Classes	628	log plain
d---------	Compat	183	log plain
d---------	FSets	848	log plain
d---------	Floats	274	log plain
d---------	Init	508	log plain
d---------	Lists	313	log plain
d---------	Logic	1601	log plain
d---------	MSets	529	log plain
d---------	NArith	366	log plain
d---------	Numbers	540	log plain
d---------	PArith	187	log plain
d---------	Program	328	log plain
d---------	QArith	480	log plain
d---------	Reals	2774	log plain
d---------	Relations	187	log plain
d---------	Setoids	36	log plain
d---------	Sets	920	log plain
d---------	Sorting	267	log plain
d---------	Strings	267	log plain
d---------	Structures	578	log plain
d---------	Unicode	73	log plain
d---------	Vectors	186	log plain
d---------	Wellfounded	402	log plain
d---------	ZArith	1134	log plain