coq - El asistente de pruebas Coq

Mode	Name	Size
-rw-r--r--	cArray.ml	20773	log plain
-rw-r--r--	cArray.mli	7597	log plain
-rw-r--r--	cEphemeron.ml	3535	log plain
-rw-r--r--	cEphemeron.mli	2441	log plain
-rw-r--r--	cList.ml	24732	log plain
-rw-r--r--	cList.mli	17524	log plain
-rw-r--r--	cMap.ml	10124	log plain
-rw-r--r--	cMap.mli	3867	log plain
-rw-r--r--	cObj.ml	6267	log plain
-rw-r--r--	cObj.mli	2333	log plain
-rw-r--r--	cSet.ml	1924	log plain
-rw-r--r--	cSet.mli	1181	log plain
-rw-r--r--	cSig.mli	3238	log plain
-rw-r--r--	cString.ml	5213	log plain
-rw-r--r--	cString.mli	3120	log plain
-rw-r--r--	cThread.ml	4501	log plain
-rw-r--r--	cThread.mli	1786	log plain
-rw-r--r--	cUnix.ml	5769	log plain
-rw-r--r--	cUnix.mli	2800	log plain
-rw-r--r--	diff2.ml	4667	log plain
-rw-r--r--	diff2.mli	3057	log plain
-rw-r--r--	dune	192	log plain
-rw-r--r--	dyn.ml	5610	log plain
-rw-r--r--	dyn.mli	3497	log plain
-rw-r--r--	exninfo.ml	3843	log plain
-rw-r--r--	exninfo.mli	2348	log plain
-rw-r--r--	hMap.ml	11824	log plain
-rw-r--r--	hMap.mli	1400	log plain
-rw-r--r--	hashcons.ml	4300	log plain
-rw-r--r--	hashcons.mli	3510	log plain
-rw-r--r--	hashset.ml	7857	log plain
-rw-r--r--	hashset.mli	2188	log plain
-rw-r--r--	heap.ml	3693	log plain
-rw-r--r--	heap.mli	1707	log plain
-rw-r--r--	iStream.ml	2209	log plain
-rw-r--r--	iStream.mli	2335	log plain
-rw-r--r--	int.ml	5909	log plain
-rw-r--r--	int.mli	3404	log plain
-rw-r--r--	monad.ml	5074	log plain
-rw-r--r--	monad.mli	3350	log plain
-rw-r--r--	neList.ml	1273	log plain
-rw-r--r--	neList.mli	1171	log plain
-rw-r--r--	option.ml	5019	log plain
-rw-r--r--	option.mli	5004	log plain
-rw-r--r--	orderedType.ml	1160	log plain
-rw-r--r--	orderedType.mli	848	log plain
-rw-r--r--	polyMap.ml	2367	log plain
-rw-r--r--	polyMap.mli	1740	log plain
-rw-r--r--	predicate.ml	3830	log plain
-rw-r--r--	predicate.mli	2744	log plain
-rw-r--r--	range.ml	2663	log plain
-rw-r--r--	range.mli	1306	log plain
-rw-r--r--	sList.ml	3442	log plain
-rw-r--r--	sList.mli	2141	log plain
-rw-r--r--	segmenttree.ml	5268	log plain
-rw-r--r--	segmenttree.mli	1379	log plain
-rw-r--r--	store.ml	1723	log plain
-rw-r--r--	store.mli	1395	log plain
-rw-r--r--	terminal.ml	8102	log plain
-rw-r--r--	terminal.mli	2305	log plain
-rw-r--r--	trie.ml	2531	log plain
-rw-r--r--	trie.mli	2058	log plain
-rw-r--r--	unicode.ml	15342	log plain
-rw-r--r--	unicode.mli	2647	log plain
-rw-r--r--	unicodetable.ml	207677	log plain
-rw-r--r--	unicodetable.mli	849	log plain
-rw-r--r--	unionfind.ml	3800	log plain
-rw-r--r--	unionfind.mli	2613	log plain