diff options
| author | Josh Chen | 2018-08-07 18:06:10 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-07 18:06:10 +0200 |
| commit | ec8e1d9d245950f185f6d4ff1b5e1b8755e7202c (patch) | |
| tree | 2c7515ddb206223a71cb35ab06b8080c71338159 /HoTT.thy | |
| parent | dc2730916482bd230f9bd5244b8b2cc9d005f69a (diff) | |
Tweaks
Diffstat (limited to 'HoTT.thy')
0 files changed, 0 insertions, 0 deletions