tactics - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	auto.ml	30524	log plain
-rw-r--r--	auto.mli	6321	log plain
-rw-r--r--	autorewrite.ml	3442	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	41299	log plain
-rw-r--r--	equality.mli	2808	log plain
-rw-r--r--	extraargs.ml4	988	log plain
-rw-r--r--	extraargs.mli	792	log plain
-rw-r--r--	extratactics.ml4	9266	log plain
-rw-r--r--	extratactics.mli	830	log plain
-rw-r--r--	hiddentac.ml	4502	log plain
-rw-r--r--	hiddentac.mli	3900	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	1013	log plain
-rw-r--r--	tacinterp.ml	85049	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	69742	log plain
-rw-r--r--	tactics.mli	9017	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