diff options
| author | Josh Chen | 2020-07-16 19:25:46 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-16 19:25:46 +0200 |
| commit | a31c2a9b0e05845f11e4a0a44034540a2e707444 (patch) | |
| tree | 372d8f1abda3aa234c607a4febbc3882d6d93949 /hott/Equivalence.thy | |
| parent | ddb5325a32000316d8d3f13fb45696010aba33c9 (diff) | |
will this parse now?
Diffstat (limited to 'hott/Equivalence.thy')
0 files changed, 0 insertions, 0 deletions