diff options
| author | Josh Chen | 2018-06-12 12:30:54 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-06-12 12:30:54 +0200 |
| commit | 91efce41a2319a9fb861ff26d7dc8c49ec726d4c (patch) | |
| tree | fd42310d712143e0f3dceff7009309a89b787b92 /scratch.thy | |
| parent | 593faab277de53cbe2cb0c2feca5de307d9334ac (diff) | |
Type rules now have \"all\" premises explicitly stated, matching the formulation in the HoTT book.
Diffstat (limited to 'scratch.thy')
0 files changed, 0 insertions, 0 deletions