tptp2why.ml 2.69 KB