diff options
| author | Josh Chen | 2020-05-25 19:33:23 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-25 19:33:49 +0200 |
| commit | f97d71514a309c212d3b20e560ce6482df0dd7ea (patch) | |
| tree | fb4c2f966a1b70655d6aeb4d65b1e7904275b8cb /hott/Identity.thy | |
| parent | 60f32406e8c9712c0689d54a3dd4f8e17d310d52 (diff) | |
fix implicits table merge mistake
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions