diff options
author | Josh Chen | 2018-08-08 10:35:43 +0200 |
---|---|---|
committer | Josh Chen | 2018-08-08 10:35:43 +0200 |
commit | 25225e0c637a43319fef6889dabc222df05bfd3c (patch) | |
tree | e3756da3c360692287ce508c1268314010c3a854 /Coprod.thy | |
parent | ec8e1d9d245950f185f6d4ff1b5e1b8755e7202c (diff) |
Rewriting projection functions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions