diff options
| author | Josh Chen | 2020-05-25 19:36:30 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-25 19:36:30 +0200 |
| commit | c19533acfad3bbe603cd8a3d176e8b14f477573a (patch) | |
| tree | c0604b47ab8a4766d009fc762161f4314a915e48 /hott/Identity.thy | |
| parent | f97d71514a309c212d3b20e560ce6482df0dd7ea (diff) | |
notation
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions