tptp_lexer.mll 6.61 KB