*~
tptp_parser.mli
tptp_parser.ml
tptp_lexer.mli
tptp_lexer.ml
