diff options
| author | Josh Chen | 2019-03-08 17:26:25 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-08 17:26:25 +0100 |
| commit | 22c4bbccf47e53160db5ae5856de6fed9045b22c (patch) | |
| tree | 048b4b84649014d1b2130719408789113cfbf5db /Univalence.thy | |
| parent | ad0c2755b011e187792ed90382f72c8808949295 (diff) | |
type lemmas for derived functions should type the functions themselves
Diffstat (limited to 'Univalence.thy')
0 files changed, 0 insertions, 0 deletions