This directory contains developments of Multiset structures,
applied to represent the multisets underlyng lists or trees.
Treesort is developed using these notions.

G. Huet
Sept 1995
