aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/unionfind.ml
Commit message (Expand)AuthorAge
* Universe level maps use HMaps.Gravatar Pierre-Marie Pédrot2014-07-21
* Updating headers.Gravatar herbelin2012-08-08
* An generic imperative union-find, used for deps of evars in Class_tacticsGravatar letouzey2011-02-11