aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/univSubst.mli
Commit message (Expand)AuthorAge
* Split off Universes functions about substitutions and constraintsGravatar Gaƫtan Gilbert2018-05-17