diff options
| author | Josh Chen | 2019-11-29 16:52:10 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-29 16:52:10 +0100 |
| commit | b4faf763660070e882f9f09985238e0fe4f47ad3 (patch) | |
| tree | 2e8c52ef89e290abcc9a00fb9568b67900678f08 /HoTT_Methods.thy | |
| parent | 326475c661337d7511fbcfa126e66bc1f1bd83f6 (diff) | |
Change link
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions