diff options
author | Josh Chen | 2019-02-18 11:38:59 +0100 |
---|---|---|
committer | Josh Chen | 2019-02-18 11:38:59 +0100 |
commit | f39f927579dfac2fc363d4eb9c4777c191143fb3 (patch) | |
tree | f256b5eb3cab72d25af86a3e4c513505b4399859 /HoTT_Typing.thy | |
parent | 7f932806cf445db589c32429f396d6ccbc086476 (diff) |
Partway through associativity proof. Lots to work on to make this more usable.
Diffstat (limited to 'HoTT_Typing.thy')
0 files changed, 0 insertions, 0 deletions