aboutsummaryrefslogtreecommitdiff
path: root/ProdProps.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* Reorganize methodsJosh Chen2018-08-181-6/+6
* Regrouping type rulesJosh Chen2018-08-181-2/+1
* Misc formattingJosh Chen2018-08-181-1/+0
* 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