discontinued obsolete Library.foldl_map and Library.apply (NB: apply = fold I);
discontinued obsolete Library.foldl_map and Library.apply (NB: apply = fold I);

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