diff --git a/src/doc/new-doc/standards/arrays.txi b/src/doc/new-doc/standards/arrays.txi
index 24db36c6..60f3d752 100644
--- a/src/doc/new-doc/standards/arrays.txi
+++ b/src/doc/new-doc/standards/arrays.txi
@@ -222,6 +222,7 @@ Common Lisp and C equivalence
 @item @clhs{f_adjust.htm,adjust-array} @tab cl_object cl_adjust_array(cl_narg narg, cl_object array, cl_object dimensions, ...)
 @item @clhs{f_adju_1.htm,adjustable-array-p} @tab cl_object cl_adjustable_array_p(cl_object array)
 @item @clhs{f_aref.htm,aref} @tab cl_object cl_aref(cl_narg narg, cl_object array, ...)
+@item @clhs{f_aref.htm,(setf aref)} @tab cl_object si_aset(cl_narg narg, cl_object array, ...)
 @item @clhs{f_ar_dim.htm,array-dimension} @tab cl_object cl_array_dimension(cl_object array, cl_object index)
 @item @clhs{f_ar_d_1.htm,array-dimensions} @tab cl_object cl_array_dimensions(cl_object array)
 @item @clhs{f_ar_ele.htm,array-element-type} @tab cl_object cl_array_element_type(cl_object array)
@@ -233,17 +234,22 @@ Common Lisp and C equivalence
 @item @clhs{f_ar_tot.htm,array-total-size} @tab cl_object cl_array_total_size(cl_object array)
 @item @clhs{f_arrayp.htm,arrayp} @tab cl_object cl_arrayp(cl_object array)
 @item @clhs{f_fill_p.htm,fill-pointer} @tab cl_object cl_fill_pointer(cl_object array)
+@item @clhs{f_fill_p.htm,(setf fill-pointer)} @tab cl_object si_fill_pointer_set(cl_object array, cl_object fill_pointer)
 @item @clhs{f_row_ma.htm,row-major-aref} @tab cl_object cl_row_major_aref(cl_object array, cl_object index)
+@item @clhs{f_row_ma.htm,(setf row-major-aref)} @tab cl_object si_row_major_aset(cl_object array, cl_object index, cl_object value)
 @item @clhs{f_upgr_1.htm,upgraded-array-element-type} @tab cl_object cl_upgraded_array_element_type(cl_narg narg, cl_object typespec, ...)
 @item @clhs{f_smp_ve.htm,simple-vector-p} @tab cl_object cl_simple_vector_p(cl_object object)
 @item @clhs{f_svref.htm,svref} @tab cl_object cl_svref(cl_object simple_vector, cl_object index)
+@item @clhs{f_svref.htm,(setf svref)} @tab cl_object si_svset(cl_object simple_vector, cl_object index, cl_object value)
 @item @clhs{f_vector.htm,vector} @tab cl_object cl_vector(cl_narg narg, ...)
 @item @clhs{f_vec_po.htm,vector-pop} @tab cl_object cl_vector_pop(cl_object vector)
 @item @clhs{f_vec_ps.htm,vector-push} @tab cl_object cl_vector_push(cl_object new_element, cl_object vector)
 @item @clhs{f_vec_ps.htm,vector-push-extend} @tab cl_object cl_vector_push_extend(cl_narg narg, cl_object new_element, cl_object vector, ...)
 @item @clhs{f_vecp.htm,vectorp} @tab cl_object cl_vectorp(cl_object object)
 @item @clhs{f_bt_sb.htm,bit} @tab cl_object cl_bit(cl_narg narg, cl_object bit_array, ...)
+@item @clhs{f_bt_sb.htm,(setf bit)} @tab cl_object si_aset(cl_narg narg, cl_object array, ...)
 @item @clhs{f_bt_sb.htm,sbit} @tab cl_object cl_sbit(cl_narg narg, cl_object bit_array, ...)
+@item @clhs{f_bt_sb.htm,(setf sbit)} @tab cl_object si_aset(cl_narg narg, cl_object array, ...)
 @item @clhs{f_bt_and.htm,bit-and} @tab cl_object cl_bit_and(cl_narg narg, cl_object array1, cl_object array2, ...)
 @item @clhs{f_bt_and.htm,bit-andc1} @tab cl_object cl_bit_andc1(cl_narg narg, cl_object array1, cl_object array2, ...)
 @item @clhs{f_bt_and.htm,bit-andc2} @tab cl_object cl_bit_andc2(cl_narg narg, cl_object array1, cl_object array2, ...)
diff --git a/src/doc/new-doc/standards/conses.txi b/src/doc/new-doc/standards/conses.txi
index b6dd5e87..db4d8038 100644
--- a/src/doc/new-doc/standards/conses.txi
+++ b/src/doc/new-doc/standards/conses.txi
@@ -14,6 +14,10 @@ Accessing the elements of conses
 @end deftypefun
 @deftypefun cl_object ECL_CONS_CDR (cl_object @var{o})
 @end deftypefun
+@deftypefun cl_object ECL_RPLACA (cl_object @var{o}, cl_object @var{v})
+@end deftypefun
+@deftypefun cl_object ECL_RPLACD (cl_object @var{o}, cl_object @var{v})
+@end deftypefun
 @deftypefun cl_object _ecl_car (cl_object @var{o})
 @end deftypefun
 @deftypefun cl_object _ecl_cdr (cl_object @var{o})
@@ -25,9 +29,9 @@ Accessing the elements of conses
 ...
 @subsubheading Description
 These functions access the elements of objects of type cons
-(@code{ECL_CONS_CAR} and @code{ECL_CONS_CDR}) or type list
-(@code{_ecl_car}, @code{_ecl_cdr}, @code{_ecl_caar}, ...). They don't
-check the type of their arguments.
+(@code{ECL_CONS_CAR}, @code{ECL_CONS_CDR}, @code{ECL_RPLACA} and
+@code{ECL_RPLACD}) or type list (@code{_ecl_car}, @code{_ecl_cdr},
+@code{_ecl_caar}, ...). They don't check the type of their arguments.
 
 @subsubsection ANSI Dictionary
 Common Lisp and C equivalence
diff --git a/src/doc/new-doc/standards/data_and_control_flow.txi b/src/doc/new-doc/standards/data_and_control_flow.txi
index 583570b4..9af893d6 100644
--- a/src/doc/new-doc/standards/data_and_control_flow.txi
+++ b/src/doc/new-doc/standards/data_and_control_flow.txi
@@ -430,13 +430,14 @@ Common Lisp and C equivalence
 @item @clhs{f_equalp.htm,equalp} @tab cl_object cl_equalp(cl_object x, cl_object y)
 @item @clhs{f_fbound.htm,fboundp} @tab cl_object cl_fboundp(cl_object function_name)
 @item @clhs{f_fdefin.htm,fdefinition} @tab cl_object cl_fdefinition(cl_object function_name)
+@item @clhs{f_fdefin.htm,(setf fdefinition)} @tab cl_object si_fset(cl_narg narg, cl_object function_name, cl_object definition, ...)
 @item @clhs{f_fmakun.htm,fmakunbound} @tab cl_object cl_fmakunbound(cl_object function_name)
 @item @clhs{f_funcal.htm,funcall} @tab cl_object cl_funcall(cl_narg narg, cl_object function, ...)
 @item @clhs{f_fn_lam.htm,function-lambda-expression} @tab cl_object cl_function_lambda_expression(cl_object function)
 @item @clhs{f_fnp.htm,functionp} @tab cl_object cl_functionp(cl_object object)
 @item @clhs{f_get_se.htm,get-setf-expansion} @tab cl_object cl_get_setf_expansion(cl_narg narg, cl_object place, ...)
 @item @clhs{f_identi.htm,identity} @tab cl_object cl_identity(cl_object x)
-@item @clhs{s_let_l.htm,LET}, @clhs{s_let_l.htm,LET*} @tab cl_object ecl_bds_bind(cl_env_ptr env, cl_object symbol, cl_object value)
+@item @clhs{s_let_l.htm,let}, @clhs{s_let_l.htm,let*} @tab cl_object ecl_bds_bind(cl_env_ptr env, cl_object symbol, cl_object value)
 @item @clhs{v_lamb_1.htm,lambda-parameters-limit} @tab ECL_LAMBDA_PARAMETERS_LIMIT
 @item @clhs{v_multip.htm,multiple-values-limit} @tab ECL_MULTIPLE_VALUES_LIMIT
 @item @clhs{f_not.htm,not} @tab cl_object cl_not(cl_object object)
diff --git a/src/doc/new-doc/standards/hashtables.txi b/src/doc/new-doc/standards/hashtables.txi
index 62fc31ee..78549f02 100644
--- a/src/doc/new-doc/standards/hashtables.txi
+++ b/src/doc/new-doc/standards/hashtables.txi
@@ -96,6 +96,7 @@ Common Lisp and C equivalence
 @headitem Lisp symbol @tab C function
 @item @clhs{f_clrhas.htm,clrhash} @tab cl_object cl_clrhash(cl_object hash_table)
 @item @clhs{f_gethas.htm,gethash} @tab cl_object cl_gethash(cl_narg narg, cl_object key, cl_object hash_table, ...)
+@item @clhs{f_gethas.htm,(setf gethash)} @tab cl_object si_hash_set(cl_object key, cl_object hash_table, cl_object value)
 @item @clhs{f_hash_1.htm,hash-table-count} @tab cl_object cl_hash_table_count(cl_object hash_table)
 @item @clhs{f_hash_t.htm,hash-table-p} @tab cl_object cl_hash_table_p(cl_object hash_table)
 @item @clhs{f_hash_2.htm,hash-table-rehash-size} @tab cl_object cl_hash_table_rehash_size(cl_object hash_table)
diff --git a/src/doc/new-doc/standards/reader.txi b/src/doc/new-doc/standards/reader.txi
index 8672a078..f4f9eadb 100644
--- a/src/doc/new-doc/standards/reader.txi
+++ b/src/doc/new-doc/standards/reader.txi
@@ -15,6 +15,7 @@ Common Lisp and C equivalence
 @item @clhs{f_rd_de1.htm,read-delimited-list} @tab cl_object cl_read_delimited_list(cl_narg narg, cl_object char, ...)
 @item @clhs{f_rd_fro.htm,read-from-string} @tab cl_object cl_read_from_string(cl_narg narg, cl_object string, ...)
 @item @clhs{f_rdtab1.htm,readtable-case} @tab cl_object cl_readtable_case(cl_object readtable)
+@item @clhs{f_rdtab1.htm,(setf readtable-case)} @tab cl_object si_readtable_case_set(cl_object readtable, cl_object mode)
 @item @clhs{f_rdta_1.htm,readtablep} @tab cl_object cl_readtablep(cl_object object)
 @item @clhs{f_set__1.htm,get-dispatch-macro-character} @tab cl_object cl_get_dispatch_macro_character(cl_narg narg, cl_object disp_char, cl_object sub_char, ...)
 @item @clhs{f_set__1.htm,set-dispatch-macro-character} @tab cl_object cl_set_dispatch_macro_character(cl_narg narg, cl_object disp_char, cl_object sub_char, cl_object function, ...)
diff --git a/src/doc/new-doc/standards/sequences.txi b/src/doc/new-doc/standards/sequences.txi
index 7729685e..359b98b9 100644
--- a/src/doc/new-doc/standards/sequences.txi
+++ b/src/doc/new-doc/standards/sequences.txi
@@ -18,6 +18,7 @@ Common Lisp and C equivalence
 @item @clhs{f_rm_rm.htm,delete-if-not} @tab cl_object cl_delete_if_not(cl_narg narg, cl_object test, cl_object sequence, ...)
 @item @clhs{f_rm_dup.htm,delete-duplicates} @tab cl_object cl_delete_duplicates(cl_narg narg, cl_object sequence, ...)
 @item @clhs{f_elt.htm,elt} @tab cl_object cl_elt(cl_object sequence, cl_object index)
+@item @clhs{f_elt.htm,(setf elt)} @tab cl_object si_elt_set(cl_object sequence, cl_object index, cl_object value)
 @item @clhs{f_fill.htm,fill} @tab cl_object cl_fill(cl_narg narg, cl_object sequence, cl_object item, ...)
 @item @clhs{f_find_.htm,find} @tab cl_object cl_find(cl_narg narg, cl_object item, cl_object sequence, ...)
 @item @clhs{f_find_.htm,find-if} @tab cl_object cl_find_if(cl_narg narg, cl_object predicate, cl_object sequence, ...)
diff --git a/src/doc/new-doc/standards/streams.txi b/src/doc/new-doc/standards/streams.txi
index 1718abd1..0bac1785 100644
--- a/src/doc/new-doc/standards/streams.txi
+++ b/src/doc/new-doc/standards/streams.txi
@@ -178,6 +178,7 @@ Common Lisp and C equivalence
 @item @clhs{f_stm_el.htm,stream-element-type} @tab cl_object cl_stream_element_type(cl_object stream)
 @item @clhs{f_stm_er.htm,stream-error-stream} @tab [Only in Common Lisp]
 @item @clhs{f_stm_ex.htm,stream-external-format} @tab cl_object cl_stream_external_format(cl_object stream)
+@item @clhs{f_stm_ex.htm,(setf stream-external-format)} @tab cl_object si_stream_external_format_set(cl_object stream, cl_object format)
 @item @clhs{f_stmp.htm,streamp} @tab cl_object cl_streamp(cl_object object)
 @item @clhs{f_syn_st.htm,synonym-stream-symbol} @tab cl_object cl_synonym_stream_symbol(cl_object synonym_stream)
 @item @clhs{f_terpri.htm,terpri} @tab cl_object cl_terpri(cl_narg narg, ...)
diff --git a/src/doc/new-doc/standards/strings.txi b/src/doc/new-doc/standards/strings.txi
index 1ebbe5e6..5abd6057 100644
--- a/src/doc/new-doc/standards/strings.txi
+++ b/src/doc/new-doc/standards/strings.txi
@@ -78,7 +78,9 @@ Common Lisp and C equivalence
 @headitem Lisp symbol @tab C function
 @item @clhs{f_smp-st.htm,simple-string-p} @tab cl_object cl_simple_string_p(cl_object string)
 @item @clhs{f_char_.htm,char} @tab cl_object cl_char(cl_object string, cl_object index)
+@item @clhs{f_char_.htm,(setf char)} @tab cl_object si_char_set(cl_object string, cl_object index, cl_object char)
 @item @clhs{f_char_.htm,schar} @tab cl_object cl_schar(cl_object string, cl_object index)
+@item @clhs{f_char_.htm,(setf schar)} @tab cl_object si_char_set(cl_object string, cl_object index, cl_object char)
 @item @clhs{f_string.htm,string} @tab cl_object cl_string(cl_object x)
 @item @clhs{f_stg_up.htm,string-upcase} @tab cl_object cl_string_upcase(cl_narg narg, cl_obejct string, ...)
 @item @clhs{f_stg_up.htm,string-downcase} @tab cl_object cl_string_downcase(cl_narg narg, cl_obejct string, ...)
diff --git a/src/doc/new-doc/standards/symbols.txi b/src/doc/new-doc/standards/symbols.txi
index 743c8ac1..a0f10582 100644
--- a/src/doc/new-doc/standards/symbols.txi
+++ b/src/doc/new-doc/standards/symbols.txi
@@ -57,8 +57,10 @@ Common Lisp and C equivalence
 @item @clhs{f_set.htm,set} @tab cl_object cl_set(cl_object symbol, cl_object value)
 @item @clhs{f_symbol.htm,symbolp} @tab cl_object cl_symbolp(cl_object object)
 @item @clhs{f_symb_1.htm,symbol-function} @tab cl_object cl_symbol_function(cl_object symbol)
+@item @clhs{f_symb_1.htm,(setf symbol-function)} @tab cl_object si_fset(cl_narg narg, cl_object function_name, cl_object definition, ...)
 @item @clhs{f_symb_2.htm,symbol-name} @tab cl_object cl_symbol_name(cl_object symbol)
 @item @clhs{f_symb_3.htm,symbol-package} @tab cl_object cl_symbol_package(cl_object symbol)
 @item @clhs{f_symb_4.htm,symbol-plist} @tab cl_object cl_symbol_plist(cl_object symbol)
+@item @clhs{f_symb_4.htm,(setf symbol-plist)} @tab cl_object si_set_symbol_plist(cl_object symbol, cl_object plist)
 @item @clhs{f_symb_5.htm,symbol-value} @tab cl_object cl_symbol_value(cl_object symbol)
 @end multitable