diff options
| author | Josh Chen | 2018-08-18 23:57:06 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-18 23:57:06 +0200 |
| commit | 33d4303596ab0cc984f270fcce4623f8b384bda7 (patch) | |
| tree | a7791c723215e6e42a02418e5492848872a8c693 /HoTT.thy | |
| parent | 7fe4e90dceb8c77c2ec8678ce7316240e34700cc (diff) | |
Move Empty and Unit types to their own theories
Diffstat (limited to '')
| -rw-r--r-- | HoTT.thy | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -13,10 +13,12 @@ HoTT_Methods (* Types *) Coprod +Empty Equal Nat Prod Sum +Unit (* Derived definitions and properties *) EqualProps |