INSTALL
LICENSE
README
RELEASE-NOTES
Setup.lhs
tableaux.cabal
src