/test/regress/regress0/tptp/Axioms/

• ../
• BOO004-0.ax
• SYN000+0.ax
• SYN000-0.ax
• SYN000_0.ax