% SZS status Theorem for DATATYPE__BO
% SZS output start Proof for DATATYPE__BO
  file('i/f/bool/DATATYPE__BOOL',ch4s_bools_DATATYPEu_u_BOOL)).
  file('i/f/bool/DATATYPE__BOOL',ah4s_bools_DATATYPEu_u_TAGu_u_DEF)).
% SZS output end Proof for DATATYPE__BO
