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	148	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	2818	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
d---------	btauto	110	log plain
d---------	derive	36	log plain
d---------	extraction	966	log plain
d---------	funind	72	log plain
d---------	ltac	34	log plain
d---------	micromega	940	log plain
d---------	nsatz	35	log plain
d---------	omega	196	log plain
d---------	rtauto	73	log plain
d---------	setoid_ring	945	log plain
d---------	ssr	229	log plain
d---------	ssrmatching	41	log plain