tptp_lexer.mll 6.62 KB