theories - coq - the Coq proof assistant

Mode	Name	Size
d---------	Arith	859	log plain
d---------	Bool	327	log plain
d---------	Classes	666	log plain
d---------	FSets	886	log plain
d---------	Init	401	log plain
d---------	Lists	388	log plain
d---------	Logic	1354	log plain
d---------	MMaps	277	log plain
d---------	MSets	567	log plain
d---------	NArith	441	log plain
d---------	Numbers	370	log plain
d---------	PArith	262	log plain
d---------	Program	366	log plain
d---------	QArith	483	log plain
d---------	Reals	2441	log plain
d---------	Relations	262	log plain
d---------	Setoids	111	log plain
d---------	Sets	995	log plain
d---------	Sorting	342	log plain
d---------	Strings	109	log plain
d---------	Structures	616	log plain
d---------	Unicode	111	log plain
d---------	Vectors	224	log plain
d---------	Wellfounded	477	log plain
d---------	ZArith	1291	log plain
-rw-r--r--	theories.itarget	457	log plain