1 files changed, 1 insertions, 0 deletions

diff --git a/ROOT b/ROOT
index f1fdd66..5b4f208 100644
--- a/ROOT
+++ b/ROOT
@@ -34,3 +34,4 @@ session HoTT in hott = Spartan +
     Nat
     More_Types
     More_List
+    Eckmann_Hilton