From fd8ae0b89a703443ef625ca243e6d5ecfa7b2271 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Wed, 27 May 2020 01:18:46 +0200
Subject: Eckmann-Hilton, first pass

---
 ROOT | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ROOT')

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
-- 
cgit v1.2.3