% SZS status Theorem for NOT__FAL
% SZS output start Proof for NOT__FAL
  file('i/f/HolSmt/NOT__FALSE',ch4s_HolSmts_NOTu_u_FALSE)).
% SZS output end Proof for NOT__FAL
