Up  Next

Module Multisets.MT

module MT: Libzipperposition.Multiset.Make(Libzipperposition.FOTerm)