aboutsummaryrefslogtreecommitdiff
path: root/ex (unfollow)
Commit message (Expand)AuthorFilesLines
2018-07-03Refactor HoTT_Methods.thy, proved more stuff with new methods.Josh Chen1-0/+41
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 20:25:54 +0000