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_Base.thy | |
| parent | 352a6e40a5bdf193b8f9690e76aede4e0650a445 (diff) | |
Fix precedence of =
Diffstat (limited to 'HoTT_Base.thy')
0 files changed, 0 insertions, 0 deletions