small detail to produce correct tstp output when adding axioms
small detail to produce correct tstp output when adding axioms

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition