tptp2why.ml 2.6 KB