LICENSE
Lexer.x
MACROS.h
Parser.y
ParserC.y
Setup.hs
Util.hs
logic-TPTP.cabal
Codec
dist
testing