% SZS status Theorem for TO__re
% SZS output start Proof for TO__re
  file('i/f/toto/TO__refl',ch4s_totos_TOu_u_refl)).
  file('i/f/toto/TO__refl',ah4s_totos_TotOrd0)).
  file('i/f/toto/TO__refl',aHLu_TRUTH)).
  file('i/f/toto/TO__refl',aHLu_BOOLu_CASES)).
  file('i/f/toto/TO__refl',aHLu_FALSITY)).
% SZS output end Proof for TO__re
