diff options
author | Josh Chen | 2018-06-30 17:29:00 +0200 |
---|---|---|
committer | Josh Chen | 2018-06-30 17:29:00 +0200 |
commit | adfb8f33e223049e7e9fa5a279cc4d641fb2466f (patch) | |
tree | f59aeea0977ffaacd4d7542b966c32be5a42c9b2 /HoTT.thy | |
parent | 352a6e40a5bdf193b8f9690e76aede4e0650a445 (diff) |
Fix precedence of =
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions