diff options
| author | Josh Chen | 2019-01-30 16:38:38 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-01-30 16:38:38 +0100 |
| commit | def15c3748599d5c05cae164653e85ea03da6be6 (patch) | |
| tree | a70def5ae24dbb3ccf2693860a447d94d50c6967 /Coprod.thy | |
| parent | 843d53d64983593d765a203605cd2aab00ed8361 (diff) | |
Clean and comment methods file
Diffstat (limited to 'Coprod.thy')
0 files changed, 0 insertions, 0 deletions