tactics - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	auto.ml	40876	log plain
-rw-r--r--	auto.mli	7961	log plain
-rw-r--r--	autorewrite.ml	10378	log plain
-rw-r--r--	autorewrite.mli	2083	log plain
-rw-r--r--	btermdn.ml	4639	log plain
-rw-r--r--	btermdn.mli	1099	log plain
-rw-r--r--	class_tactics.ml4	25970	log plain
-rw-r--r--	contradiction.ml	2948	log plain
-rw-r--r--	contradiction.mli	794	log plain
-rw-r--r--	decl_interp.ml	16636	log plain
-rw-r--r--	decl_interp.mli	824	log plain
-rw-r--r--	decl_proof_instr.ml	46017	log plain
-rw-r--r--	decl_proof_instr.mli	3887	log plain
-rw-r--r--	dhyp.ml	10915	log plain
-rw-r--r--	dhyp.mli	1129	log plain
-rw-r--r--	dn.ml	2449	log plain
-rw-r--r--	dn.mli	1319	log plain
-rw-r--r--	doc.tex	246	log plain
-rw-r--r--	eauto.ml4	16640	log plain
-rw-r--r--	eauto.mli	1320	log plain
-rw-r--r--	elim.ml	5674	log plain
-rw-r--r--	elim.mli	1445	log plain
-rw-r--r--	elimschemes.ml	4962	log plain
-rw-r--r--	elimschemes.mli	1387	log plain
-rw-r--r--	eqdecide.ml4	6340	log plain
-rw-r--r--	eqschemes.ml	38641	log plain
-rw-r--r--	eqschemes.mli	1934	log plain
-rw-r--r--	equality.ml	53499	log plain
-rw-r--r--	equality.mli	5273	log plain
-rw-r--r--	evar_tactics.ml	2070	log plain
-rw-r--r--	evar_tactics.mli	878	log plain
-rw-r--r--	extraargs.ml4	11743	log plain
-rw-r--r--	extraargs.mli	2459	log plain
-rw-r--r--	extratactics.ml4	21833	log plain
-rw-r--r--	extratactics.mli	820	log plain
-rw-r--r--	hiddentac.ml	5386	log plain
-rw-r--r--	hiddentac.mli	4751	log plain
-rw-r--r--	hightactics.mllib	73	log plain
-rw-r--r--	hipattern.ml4	16293	log plain
-rw-r--r--	hipattern.mli	6551	log plain
-rw-r--r--	inv.ml	18655	log plain
-rw-r--r--	inv.mli	1582	log plain
-rw-r--r--	leminv.ml	10985	log plain
-rw-r--r--	leminv.mli	544	log plain
-rw-r--r--	nbtermdn.ml	4639	log plain
-rw-r--r--	nbtermdn.mli	1577	log plain
-rw-r--r--	refine.ml	13378	log plain
-rw-r--r--	refine.mli	642	log plain
-rw-r--r--	rewrite.ml4	66024	log plain
-rw-r--r--	tacinterp.ml	118173	log plain
-rw-r--r--	tacinterp.mli	5757	log plain
-rw-r--r--	tactic_option.ml	2202	log plain
-rw-r--r--	tactic_option.mli	851	log plain
-rw-r--r--	tacticals.ml	16143	log plain
-rw-r--r--	tacticals.mli	8557	log plain
-rw-r--r--	tactics.ml	132275	log plain
-rw-r--r--	tactics.mli	14520	log plain
-rw-r--r--	tactics.mllib	225	log plain
-rw-r--r--	tauto.ml4	9531	log plain
-rw-r--r--	termdn.ml	4059	log plain
-rw-r--r--	termdn.mli	2395	log plain