% SZS status Theorem for UNIV__POIN
% SZS output start Proof for UNIV__POIN
  file('i/f/normalForms/UNIV__POINT0',ah4s_bools_IMPu_u_ANTISYMu_u_AX)).
  file('i/f/normalForms/UNIV__POINT0',ch4s_normalFormss_UNIVu_u_POINT0)).
  file('i/f/normalForms/UNIV__POINT0',ah4s_normalFormss_UNIVu_u_POINTu_u_DEF)).
  file('i/f/normalForms/UNIV__POINT0',aHLu_FALSITY)).
  file('i/f/normalForms/UNIV__POINT0',aHLu_TRUTH)).
  file('i/f/normalForms/UNIV__POINT0',aHLu_BOOLu_CASES)).
% SZS output end Proof for UNIV__POIN
