tptp_typing.ml 7.39 KB