interface « contrib - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	COPYRIGHT	1047	log plain
-rw-r--r--	ascent.mli	29711	log plain
-rwxr-xr-x	blast.ml	18931	log plain
-rw-r--r--	blast.mli	86	log plain
-rw-r--r--	centaur.ml4	20553	log plain
-rw-r--r--	ctast.ml	2327	log plain
-rw-r--r--	dad.ml	11495	log plain
-rw-r--r--	dad.mli	414	log plain
-rw-r--r--	debug_tac.ml4	18002	log plain
-rw-r--r--	debug_tac.mli	242	log plain
-rw-r--r--	history.ml	11158	log plain
-rw-r--r--	history.mli	517	log plain
-rwxr-xr-x	line_parser.ml4	9315	log plain
-rw-r--r--	line_parser.mli	305	log plain
-rw-r--r--	name_to_ast.ml	8109	log plain
-rw-r--r--	name_to_ast.mli	116	log plain
-rw-r--r--	parse.ml	16154	log plain
-rw-r--r--	paths.ml	746	log plain
-rw-r--r--	paths.mli	233	log plain
-rw-r--r--	pbp.ml	26296	log plain
-rw-r--r--	pbp.mli	110	log plain
-rw-r--r--	showproof.ml	56412	log plain
-rwxr-xr-x	showproof.mli	330	log plain
-rw-r--r--	showproof_ct.ml	4283	log plain
-rw-r--r--	translate.ml	4750	log plain
-rw-r--r--	translate.mli	383	log plain
-rw-r--r--	vernacrc	223	log plain
-rw-r--r--	vtp.ml	49524	log plain
-rw-r--r--	vtp.mli	498	log plain
-rw-r--r--	xlate.ml	85898	log plain
-rw-r--r--	xlate.mli	346	log plain