tptp_tff.mli 1.5 KB