aboutsummaryrefslogtreecommitdiff
path: root/ex (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-07-03Refactor HoTT_Methods.thy, proved more stuff with new methods.Josh Chen1-0/+41