diff options
| author | Josh Chen | 2020-05-27 21:31:35 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-27 21:31:35 +0200 |
| commit | 62c1c8f306bff84b74b3b1c935d0d6722e1251a2 (patch) | |
| tree | 2a5312d76e7883a000517887d71e84ff2e892a56 /hott/Identity.thy | |
| parent | ec7dcd5e780d26e7f8866c3d245b08b23de56ff9 (diff) | |
1. Define Maybe in terms of other types. 2. Move More_Types to Spartan
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions