/source/Tptp/

• ../
• SmtLib.hs
• UnsortedFirstOrder.hs