/
.gitignore
AAC.v
AAC_coq.ml
AAC_coq.mli
AAC_helper.ml
AAC_helper.mli
AAC_matcher.ml
AAC_matcher.mli
AAC_print.ml
AAC_print.mli
AAC_rewrite.ml
AAC_rewrite.mli
AAC_search_monad.ml
AAC_search_monad.mli
AAC_theory.ml
AAC_theory.mli
CHANGELOG
COPYING
COPYING.LESSER
Caveats.v
Instances.v
LICENSE
Makefile
README.txt
Tutorial.v
debian
files.txt
magic.txt
make_makefile