renamed update_list to cons_list; added proper update_list (based on Library.update);
renamed update_list to cons_list;
added proper update_list (based on Library.update);

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