| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | touchups | Josh Chen | 2019-02-23 | 1 | -1/+1 |
| | | |||||
| * | Method "quantify" converts product inhabitation into Pure universal ↵ | Josh Chen | 2019-02-17 | 1 | -2/+2 |
| | | | | | statements. Also misc. cleanups. | ||||
| * | Organize this commit as a backup of the work on type inference done so far; ↵ | Josh Chen | 2019-02-11 | 1 | -22/+24 |
| | | | | | learnt that I probably need to take a different approach. In particular, should first make the constants completely monomorphic, and then work on full proper type inference, rather than the heuristic approach taken here. | ||||
| * | Renaming | Josh Chen | 2018-09-19 | 1 | -0/+43 |
 |
index : Isabelle-HoTT | |
| trying to make Isabelle/HoTT work with Isabelle 2021-1 |
| aboutsummaryrefslogtreecommitdiff |