#manual_axiom_selection.columnized-items

%hr

%h4= t('proofs.new.axiom_selection.manual_axiom_selection.headline')

= f.input :axioms, collection: ontology.all_axioms, as: :check_boxes, hint: t('proofs.new.axioms.none_is_default')

.col-lg-2

.col-lg-10.select_checkboxes_buttons

= link_to t('proofs.new.axioms.select_all'), '#', class: 'btn btn-xs btn-default', data: {select: '#manual_axiom_selection :checkbox', select_target: 'all'}

= link_to t('proofs.new.axioms.select_none'), '#', class: 'btn btn-xs btn-default', data: {select: '#manual_axiom_selection :checkbox', select_target: 'none'}