theory selection_sort imports CTranslation  begin

install_C_file "selection_sort.c"

print_locale selection_sort_global_addresses
thm selection_sort_global_addresses.len_body_def
thm selection_sort_global_addresses.lmin_body_def
thm selection_sort_global_addresses.ssort_body_def

end




