aboutsummaryrefslogtreecommitdiff
path: root/ProdProps.thy (unfollow)
Commit message (Expand)AuthorFilesLines
2018-08-16Prod.thy now has the correct definitional equality structure rule. Definition...Josh Chen1-23/+77
2018-08-16Prod.thy now has the correct definitional equality structure rule. Definition...Josh Chen1-23/+77
2018-08-15Rename to distinguish function and path composition; function composition pro...Josh Chen1-0/+54