diff options
| author | Josh Chen | 2020-05-31 13:14:35 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-31 13:14:35 +0200 |
| commit | dc3800fa4e98e8feeae86f95bf4aafb80f01880c (patch) | |
| tree | d5d52424c5ac853f896662ce0a2c9ef61c2b9cbd /hott/Identity.thy | |
| parent | c3606c3fd6ed63fee04e1a4eb9c205c22bd7c847 (diff) | |
more list
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions