aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/keys.ml
Commit message (Expand)AuthorAge
* Keyed unification option, compiling the whole standard libraryGravatar Matthieu Sozeau2014-09-27
* Index keys instead of simply global references.Gravatar Matthieu Sozeau2014-09-27
* First version of keyed subterm selection in unification.Gravatar Matthieu Sozeau2014-09-27