aboutsummaryrefslogtreecommitdiff
path: root/mltt/core/lib.ML (follow)
Commit message (Expand)AuthorAgeFilesLines
* Bad practice huge commit:Josh Chen2021-06-241-2/+3
* 1. Put universe level parameters first in automatic term definitions. 2. Add ...Josh Chen2021-06-231-0/+14
* rename things + some small changesJosh Chen2021-01-311-0/+193