tactics - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	auto.ml	30204	log plain
-rw-r--r--	auto.mli	6320	log plain
-rw-r--r--	autorewrite.ml	3379	log plain
-rw-r--r--	autorewrite.mli	920	log plain
-rw-r--r--	btermdn.ml	1585	log plain
-rw-r--r--	btermdn.mli	958	log plain
-rw-r--r--	contradiction.ml	2728	log plain
-rw-r--r--	contradiction.mli	789	log plain
-rw-r--r--	dhyp.ml	11479	log plain
-rw-r--r--	dhyp.mli	1180	log plain
-rw-r--r--	dn.ml	2974	log plain
-rw-r--r--	dn.mli	1799	log plain
-rw-r--r--	doc.tex	246	log plain
-rw-r--r--	eauto.ml4	13928	log plain
-rw-r--r--	eauto.mli	847	log plain
-rw-r--r--	elim.ml	5685	log plain
-rw-r--r--	elim.mli	1441	log plain
-rw-r--r--	eqdecide.ml4	5941	log plain
-rw-r--r--	equality.ml	41527	log plain
-rw-r--r--	equality.mli	2808	log plain
-rw-r--r--	extraargs.ml4	988	log plain
-rw-r--r--	extraargs.mli	794	log plain
-rw-r--r--	extratactics.ml4	9241	log plain
-rw-r--r--	extratactics.mli	832	log plain
-rw-r--r--	hiddentac.ml	4502	log plain
-rw-r--r--	hiddentac.mli	3902	log plain
-rw-r--r--	hipattern.ml	11669	log plain
-rw-r--r--	hipattern.mli	4897	log plain
-rw-r--r--	inv.ml	19476	log plain
-rw-r--r--	inv.mli	1541	log plain
-rw-r--r--	leminv.ml	10573	log plain
-rw-r--r--	leminv.mli	528	log plain
-rw-r--r--	nbtermdn.ml	2621	log plain
-rw-r--r--	nbtermdn.mli	1394	log plain
-rw-r--r--	refine.ml	10968	log plain
-rw-r--r--	refine.mli	665	log plain
-rw-r--r--	setoid_replace.ml	23950	log plain
-rw-r--r--	setoid_replace.mli	1015	log plain
-rw-r--r--	tacinterp.ml	86039	log plain
-rw-r--r--	tacinterp.mli	4197	log plain
-rw-r--r--	tacticals.ml	15241	log plain
-rw-r--r--	tacticals.mli	6463	log plain
-rw-r--r--	tactics.ml	69838	log plain
-rw-r--r--	tactics.mli	9023	log plain
-rw-r--r--	tauto.ml4	6217	log plain
-rw-r--r--	termdn.ml	2408	log plain
-rw-r--r--	termdn.mli	1685	log plain