tptp2why.ml 3.35 KB