% SZS status Theorem for NOT_
% SZS output start Proof for NOT_
  file('i/f/bool/NOT__F',ch4s_bools_NOTu_u_F)).
  file('i/f/bool/NOT__F',aHLu_TRUTH)).
  file('i/f/bool/NOT__F',aHLu_BOOLu_CASES)).
% SZS output end Proof for NOT_
