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 /Prod.thy | |
| parent | ec8e1d9d245950f185f6d4ff1b5e1b8755e7202c (diff) | |
Rewriting projection functions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions