theories - coq - the Coq proof assistant

Mode	Name	Size
d---------	Arith	821	log plain
d---------	Bool	327	log plain
d---------	Classes	494	log plain
d---------	FSets	886	log plain
d---------	Init	368	log plain
d---------	Lists	344	log plain
d---------	Logic	1291	log plain
d---------	MSets	489	log plain
d---------	NArith	402	log plain
d---------	Numbers	333	log plain
d---------	PArith	329	log plain
d---------	Program	366	log plain
d---------	QArith	483	log plain
d---------	Reals	2292	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---------	Wellfounded	477	log plain
d---------	ZArith	1331	log plain
-rw-r--r--	theories.itarget	421	log plain