Theory IsaSAT_Propagate_Conflict_Defs

theory IsaSAT_Propagate_Conflict_Defs
  imports IsaSAT_Setup IsaSAT_Inner_Propagation_Defs
begin


end