diff options
| author | Josh Chen | 2018-05-14 10:42:22 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-05-14 10:42:22 +0200 |
| commit | bd6fd85d8c102f006c89ec471f7f8cc701a0dd4d (patch) | |
| tree | aa909ce8aebc9c2d1d1b3b3f3725e95777212aaa /HoTT_Theorems.thy | |
| parent | 5b217a7eb36906eabdcb6ec626a2d02e0f94c308 (diff) | |
Added precedences. Need to figure out how to organize metatypes.
Diffstat (limited to 'HoTT_Theorems.thy')
0 files changed, 0 insertions, 0 deletions