tptp_lexer.mll 7.7 KB