diff options
| author | Josh Chen | 2020-06-01 17:19:27 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-06-01 17:19:27 +0200 |
| commit | 29112d66eb3ecf4139db1da16878d8a817640696 (patch) | |
| tree | 4185f78500dc92603cdbc7cb58f99ae55c79665d /hott/More_List.thy | |
| parent | 0834e9922d723b036c0fdc4833d3d920a84ff753 (diff) | |
reorganize and add some material
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions