diff options
| author | pboutill | 2012-12-10 11:18:58 +0000 |
|---|---|---|
| committer | pboutill | 2012-12-10 11:18:58 +0000 |
| commit | 2a2d33320696b5bc120828b70aaf9b18cd71ffba (patch) | |
| tree | 679aa75b8b5e71504bb4a63e33b364495bd19674 /lib | |
| parent | edaedbc3727e42918c68c39dc270ddf86220ca8c (diff) | |
* Implementing the "union by rank" optimisation in univ.ml
* Bugfixes in union by rank in univ.ml
* kernel/univ.ml: clarify the rank union selection logic
Author: Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr>
Author: Gabriel Scherer <gabriel.scherer@inria.fr>
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16054 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions