% SZS status Theorem for OWL__bt__to__
% SZS output start Proof for OWL__bt__to__
  file('i/f/enumeral/OWL__bt__to__ol',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/enumeral/OWL__bt__to__ol',ah4s_enumerals_OLu_u_btu_u_tou_u_ol)).
  file('i/f/enumeral/OWL__bt__to__ol',ah4s_enumerals_OWL0)).
  file('i/f/enumeral/OWL__bt__to__ol',ch4s_enumerals_OWLu_u_btu_u_tou_u_ol)).
  file('i/f/enumeral/OWL__bt__to__ol',ah4s_enumerals_olu_u_set)).
  file('i/f/enumeral/OWL__bt__to__ol',ah4s_bools_TRUTH)).
% SZS output end Proof for OWL__bt__to__
