using abstract code equations for proofs of code equations in Multiset
using abstract code equations for proofs of code equations in Multiset

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