diff options
| author | Josh Chen | 2019-02-05 18:29:37 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-05 18:29:37 +0100 |
| commit | 9d21e7e4ca3f22055acf72f15f19d4c9248882ca (patch) | |
| tree | 1c03f42f6e555ba631c7a4367b25b39a33fbc0c2 /HoTT_Base.thy | |
| parent | 8759a6ff0dbe5f0e9dbc28ab2711c54bed7ffa44 (diff) | |
Basic type inference for composed lambda terms!
Diffstat (limited to 'HoTT_Base.thy')
0 files changed, 0 insertions, 0 deletions