AbsHOL.hs
ConfigHOL.hs
DOCHOL.pdf
DocHOL.tex
ErrM.hs
HOL.cf
LICENSE
LexHOL.hs
ParHOL.hs
PrintHOL.hs
README
Setup.lhs
SkelHOL.hs
TestHOL.hs
beautifHOL.cabal
examples.txt