• Simon Cruanes's avatar
    small changes · 09dd0f2b
    Simon Cruanes authored
    new transformation (currently equivalent to identity) for tptp driver
    09dd0f2b
tptp.drv 954 Bytes