less rigorous but more realistic migration recommendation; note on code generation of sets
less rigorous but more realistic migration recommendation; note on code generation of sets

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