aboutsummaryrefslogtreecommitdiff
path: root/mltt/core/MLTT.thy (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'dev'Josh Chen2021-04-171-1/+1
|\
| * Small fix: extraneous variableJosh Chen2021-04-171-1/+1
| |
* | small renameJosh Chen2021-04-101-3/+3
|/
* rename things + some small changesJosh Chen2021-01-311-0/+569