Added rev_append and rev_rev_ident to list_ss.
Added rev_append and rev_rev_ident to list_ss.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle