| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | working towards biinv_imp_qinv | Josh Chen | 2019-03-26 | 1 | -2/+2 |
| | | |||||
| * | prune import lists | Josh Chen | 2019-03-08 | 1 | -1/+1 |
| | | |||||
| * | Make functions object-level | Josh Chen | 2019-03-06 | 1 | -21/+19 |
| | | |||||
| * | 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 |