library - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	decl_kinds.ml	1868	log plain
-rw-r--r--	declare.ml	13066	log plain
-rw-r--r--	declare.mli	3561	log plain
-rw-r--r--	declaremods.ml	25613	log plain
-rw-r--r--	declaremods.mli	3616	log plain
-rw-r--r--	dischargedhypsmap.ml	1819	log plain
-rw-r--r--	dischargedhypsmap.mli	919	log plain
-rw-r--r--	doc.tex	512	log plain
-rw-r--r--	global.ml	3883	log plain
-rw-r--r--	global.mli	3227	log plain
-rw-r--r--	goptions.ml	10244	log plain
-rw-r--r--	goptions.mli	5606	log plain
-rw-r--r--	impargs.ml	17956	log plain
-rw-r--r--	impargs.mli	2535	log plain
-rw-r--r--	lib.ml	16091	log plain
-rw-r--r--	lib.mli	4935	log plain
-rw-r--r--	libnames.ml	7506	log plain
-rw-r--r--	libnames.mli	4562	log plain
-rw-r--r--	libobject.ml	5752	log plain
-rw-r--r--	libobject.mli	4062	log plain
-rw-r--r--	library.ml	22443	log plain
-rw-r--r--	library.mli	3158	log plain
-rw-r--r--	nameops.ml	4803	log plain
-rw-r--r--	nameops.mli	1971	log plain
-rwxr-xr-x	nametab.ml	16309	log plain
-rwxr-xr-x	nametab.mli	5681	log plain
-rw-r--r--	states.ml	1166	log plain
-rw-r--r--	states.mli	1160	log plain
-rw-r--r--	summary.ml	2323	log plain
-rw-r--r--	summary.mli	1191	log plain