tptpTranslate.mli 75 Bytes