tptp_lexer.mll 7.39 KB