interface « contrib - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	AddDad.v	1030	log plain
-rw-r--r--	Centaur.v	3440	log plain
-rw-r--r--	ascent.mli	19320	log plain
-rw-r--r--	centaur.ml	23337	log plain
-rw-r--r--	ctast.ml	2255	log plain
-rw-r--r--	dad.ml	11860	log plain
-rw-r--r--	dad.mli	350	log plain
-rw-r--r--	debug_tac.ml	15145	log plain
-rw-r--r--	debug_tac.mli	208	log plain
-rw-r--r--	history.ml	11158	log plain
-rw-r--r--	history.mli	517	log plain
-rwxr-xr-x	line_parser.ml	8989	log plain
-rw-r--r--	line_parser.mli	269	log plain
-rw-r--r--	name_to_ast.ml	8020	log plain
-rw-r--r--	name_to_ast.mli	97	log plain
-rw-r--r--	parse.ml	14819	log plain
-rw-r--r--	paths.ml	746	log plain
-rw-r--r--	paths.mli	233	log plain
-rw-r--r--	pbp.ml	24725	log plain
-rw-r--r--	pbp.mli	172	log plain
-rw-r--r--	showproof.ml	55308	log plain
-rwxr-xr-x	showproof.mli	355	log plain
-rw-r--r--	showproof_ct.ml	4307	log plain
-rw-r--r--	translate.ml	4680	log plain
-rw-r--r--	translate.mli	217	log plain
-rw-r--r--	vernacrc	361	log plain
-rw-r--r--	vtp.ml	33037	log plain
-rw-r--r--	vtp.mli	498	log plain
-rw-r--r--	xlate.ml	84551	log plain
-rw-r--r--	xlate.mli	481	log plain