aboutsummaryrefslogtreecommitdiff
path: root/ex (follow)
Commit message (Expand)AuthorAgeFilesLines
* Refactor HoTT_Methods.thy, proved more stuff with new methods.Josh Chen2018-07-031-0/+41