interface « contrib - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	AddDad.v	1030	log plain
-rw-r--r--	Centaur.v	3553	log plain
-rw-r--r--	ascent.mli	19838	log plain
-rwxr-xr-x	blast.ml	18939	log plain
-rw-r--r--	blast.mli	173	log plain
-rw-r--r--	centaur.ml4	28063	log plain
-rw-r--r--	ctast.ml	2252	log plain
-rw-r--r--	dad.ml	12493	log plain
-rw-r--r--	dad.mli	394	log plain
-rw-r--r--	debug_tac.ml4	17646	log plain
-rw-r--r--	debug_tac.mli	246	log plain
-rw-r--r--	history.ml	11158	log plain
-rw-r--r--	history.mli	517	log plain
-rwxr-xr-x	line_parser.ml4	8989	log plain
-rw-r--r--	line_parser.mli	269	log plain
-rw-r--r--	name_to_ast.ml	8057	log plain
-rw-r--r--	name_to_ast.mli	111	log plain
-rw-r--r--	parse.ml	16787	log plain
-rw-r--r--	paths.ml	746	log plain
-rw-r--r--	paths.mli	233	log plain
-rw-r--r--	pbp.ml	32586	log plain
-rw-r--r--	pbp.mli	197	log plain
-rw-r--r--	showproof.ml	56328	log plain
-rwxr-xr-x	showproof.mli	343	log plain
-rw-r--r--	showproof_ct.ml	4283	log plain
-rw-r--r--	translate.ml	4705	log plain
-rw-r--r--	translate.mli	383	log plain
-rw-r--r--	vernacrc	386	log plain
-rw-r--r--	vtp.ml	33852	log plain
-rw-r--r--	vtp.mli	498	log plain
-rw-r--r--	xlate.ml	128116	log plain
-rw-r--r--	xlate.mli	539	log plain