1 files changed, 3 insertions, 1 deletions

diff --git a/HoTT.thy b/HoTT.thy
index fa50f61..ce77ec7 100644
--- a/HoTT.thy
+++ b/HoTT.thy
@@ -12,9 +12,11 @@ HoTT_Base
 HoTT_Methods
 
 (* Types *)
-Equal
 Prod
 Sum
+Equal
+Coprod
+Nat
 
 (* Additional properties *)
 EqualProps