tptp_lexer.mll 7.37 KB