Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | MSetInterface: (W)Raw2Sets splitted in 2 (helps a future commit by Elie) | 2009-10-15 | ||
* | OrderedType2.order is slightly weaker since last commit, adapt accordingly | 2009-10-15 | ||
* | MSets: a new generation of FSets | 2009-10-13 |