aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/unionfind.ml
Commit message (Expand)AuthorAge
* Updating headers.Gravatar herbelin2012-08-08
* An generic imperative union-find, used for deps of evars in Class_tacticsGravatar letouzey2011-02-11