max min sum max_value list_max abs sign gcd lcm

split firstn nthtl split_lastn lastn last
remove_lastn remove_last replace_nth_by

search_list rev_search_list position find

divide_list filter remove_if is_prefix is_suffix is_sublist
remove_prior_duplicates remove_later_duplicates
longest_prefix longest_suffix

mk_set insert intersection diff union remove subset all_distinct

replicate upto number

quicksort merge mergesort

add_to_alist_start add_to_alist_end apply_alist rev_apply_alist is_bound update_alist multi_update_alist modify_alist_entry modify_or_add_alist_entry remove_alist_entry totally_remove_alist_entry move_alist_entry_to_end merge_alists priority_merge_alists group_alist_entries

char_lt tok_lt string_lt list_lex_lt

upcase_string downcase_string is_substring IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html