tptp_typing.ml 24.8 KB