/
.gitignore
AAC.v
CHANGELOG
COPYING
COPYING.LESSER
Caveats.v
Instances.v
LICENSE
Make
Makefile
README
Tutorial.v
aac.mlpack
aac_rewrite.ml4
aac_rewrite.mli
coq.ml
coq.mli
debian
description
helper.ml
helper.mli
matcher.ml
matcher.mli
print.ml
print.mli
search_monad.ml
search_monad.mli
theory.ml
theory.mli