debian-aac-tactics - Debian packaging for aac-tactics

Mode	Name	Size
-rw-r--r--	.gitignore	13	log plain
-rw-r--r--	AAC.v	37410	log plain
-rw-r--r--	AAC_coq.ml	17696	log plain
-rw-r--r--	AAC_coq.mli	8282	log plain
-rw-r--r--	AAC_helper.ml	1138	log plain
-rw-r--r--	AAC_helper.mli	1261	log plain
-rw-r--r--	AAC_matcher.ml	35854	log plain
-rw-r--r--	AAC_matcher.mli	7369	log plain
-rw-r--r--	AAC_print.ml	3680	log plain
-rw-r--r--	AAC_print.mli	1106	log plain
-rw-r--r--	AAC_rewrite.ml	16661	log plain
-rw-r--r--	AAC_rewrite.mli	619	log plain
-rw-r--r--	AAC_search_monad.ml	2036	log plain
-rw-r--r--	AAC_search_monad.mli	1452	log plain
-rw-r--r--	AAC_theory.ml	34721	log plain
-rw-r--r--	AAC_theory.mli	7837	log plain
-rw-r--r--	CHANGELOG	1018	log plain
-rw-r--r--	COPYING	35147	log plain
-rw-r--r--	COPYING.LESSER	7637	log plain
-rw-r--r--	Caveats.v	11951	log plain
-rw-r--r--	Instances.v	11040	log plain
-rw-r--r--	LICENSE	651	log plain
-rw-r--r--	Makefile	8332	log plain
-rw-r--r--	README.txt	2273	log plain
-rw-r--r--	Tutorial.v	11890	log plain
d---------	debian	631	log plain
-rw-r--r--	files.txt	141	log plain
-rw-r--r--	magic.txt	518	log plain
-rwxr-xr-x	make_makefile	2313	log plain