diff options
| author | Josh Chen | 2020-05-28 16:00:42 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-28 16:00:42 +0200 |
| commit | 417af1adf5453720c55e27de212b830569311f0e (patch) | |
| tree | 79df10a700156454cc682af97e4d9a53f7e4bbe1 /hott/More_List.thy | |
| parent | 17b9392e7f5d568f6bfb5b0d552866e18c118762 (diff) | |
bit more material
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions