Theory Multiset_Code

(*
Author:  Christian Sternagel <c.sternagel@gmail.com> (2015)
Author:  René Thiemann <rene.thiemann@uibk.ac.at> (2014, 2015)
License: LGPL (see file COPYING.LESSER)
*)
theory Multiset_Code
imports 
  "HOL-Library.DAList_Multiset" 
  "QTRS.Multiset2"
begin

hide_const (open) DAList_Multiset.join

end