1 files changed, 2 insertions, 0 deletions

diff --git a/HoTT.thy b/HoTT.thy
index 60e0e71..abb1085 100644
--- a/HoTT.thy
+++ b/HoTT.thy
@@ -13,10 +13,12 @@ HoTT_Methods
 
 (* Types *)
 Coprod
+Empty
 Equal
 Nat
 Prod
 Sum
+Unit
 
 (* Derived definitions and properties *)
 EqualProps