aboutsummaryrefslogtreecommitdiff
path: root/ProdProps.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* Properties of function compositionJosh Chen2018-08-171-24/+5
* Partway through updating proofs after the change of the function composition ...Josh Chen2018-08-171-46/+11
* Prod.thy now has the correct definitional equality structure rule. Definition...Josh Chen2018-08-161-23/+77
* Rename to distinguish function and path composition; function composition pro...Josh Chen2018-08-151-0/+54