diff options
| author | Josh Chen | 2021-04-10 22:06:24 +0100 |
|---|---|---|
| committer | Josh Chen | 2021-04-10 22:06:24 +0100 |
| commit | 54df7336797dfa07124652a9eb75aac978a1a359 (patch) | |
| tree | 7fae961d00834ceb4f66682584c0e7f001cf7a9b /hott/List_HoTT.thy | |
| parent | af3b0ccf72ec0d22b635e413fd24f6ab47cd27a0 (diff) | |
small rename
Diffstat (limited to 'hott/List_HoTT.thy')
0 files changed, 0 insertions, 0 deletions