improving code generation for multisets; adding exhaustive quickcheck generators for multisets
improving code generation for multisets; adding exhaustive quickcheck generators for multisets

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