tptp_lexer.mll 1.7 KB