tptp2cime.mly 1.76 KB