aboutsummaryrefslogtreecommitdiff
path: root/Equality.thy (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-09-20Derive can prove pathcomp_comp. Fix typo.Josh Chen1-15/+1
2018-09-20Application should bind tighter than compositionJosh Chen1-2/+2
2018-09-20Rename properties of equality + more properties. Output formatting for `Josh Chen1-0/+215