tptp_lexer.mll 6.59 KB