/source/Tptp/

• ../
• UnsortedFirstOrder.hs