diff options
| author | Josh Chen | 2018-05-10 19:13:05 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-05-10 19:13:05 +0200 |
| commit | 5b217a7eb36906eabdcb6ec626a2d02e0f94c308 (patch) | |
| tree | af22f3e27f96d533370fa368f7c742c165dee3d9 /HoTT_Theorems.thy | |
| parent | 502e5d2526e59c9b5d98fbbaef93b5fbc0c3011d (diff) | |
Decided to go with no explicit type declarations in object-lambda expressions. Everything in the proof stuff is working at the moment.
Diffstat (limited to 'HoTT_Theorems.thy')
0 files changed, 0 insertions, 0 deletions