lib - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	bignat.ml	3369	log plain
-rw-r--r--	bignat.mli	1116	log plain
-rw-r--r--	bstack.ml	1722	log plain
-rw-r--r--	bstack.mli	834	log plain
-rw-r--r--	doc.tex	143	log plain
-rw-r--r--	dyn.ml	906	log plain
-rw-r--r--	dyn.mli	662	log plain
-rw-r--r--	edit.ml	2912	log plain
-rw-r--r--	edit.mli	2058	log plain
-rw-r--r--	explore.ml	2583	log plain
-rw-r--r--	explore.mli	1833	log plain
-rw-r--r--	gmap.ml	4006	log plain
-rw-r--r--	gmap.mli	1176	log plain
-rw-r--r--	gmapl.ml	1001	log plain
-rw-r--r--	gmapl.mli	955	log plain
-rw-r--r--	gset.ml	7942	log plain
-rw-r--r--	gset.mli	1256	log plain
-rw-r--r--	hashcons.ml	6206	log plain
-rw-r--r--	hashcons.mli	1651	log plain
-rw-r--r--	heap.ml	4464	log plain
-rw-r--r--	heap.mli	1545	log plain
-rw-r--r--	options.ml	2861	log plain
-rw-r--r--	options.mli	1680	log plain
-rw-r--r--	pp.ml4	9753	log plain
-rw-r--r--	pp.mli	3027	log plain
-rw-r--r--	pp_control.ml	3164	log plain
-rw-r--r--	pp_control.mli	1590	log plain
-rw-r--r--	predicate.ml	2998	log plain
-rw-r--r--	predicate.mli	2785	log plain
-rw-r--r--	profile.ml	23932	log plain
-rw-r--r--	profile.mli	4951	log plain
-rw-r--r--	rtree.ml	4465	log plain
-rw-r--r--	rtree.mli	1461	log plain
-rw-r--r--	stamps.ml	1001	log plain
-rw-r--r--	stamps.mli	1095	log plain
-rw-r--r--	system.ml	5697	log plain
-rw-r--r--	system.mli	1964	log plain
-rw-r--r--	tlm.ml	2016	log plain
-rw-r--r--	tlm.mli	1142	log plain
-rw-r--r--	util.ml	19489	log plain
-rw-r--r--	util.mli	8657	log plain