diff options
| author | Josh Chen | 2018-08-18 11:57:40 +0200 |
|---|---|---|
| committer | GitHub | 2018-08-18 11:57:40 +0200 |
| commit | 931919b3773552d05f6688f3065cc2e606c0b9de (patch) | |
| tree | 217e0f97bc4f946cbb4185bc370b33bed002003b /scratch.thy | |
| parent | b4a87cc14acaea8a06ee38032c7f4cd94477ca97 (diff) | |
Update license
Diffstat (limited to 'scratch.thy')
0 files changed, 0 insertions, 0 deletions