From 2f4e9b941a01a789b17fe208687a27060990e0a7 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 29 May 2020 10:37:46 +0200
Subject: clean up Eckmann-Hilton and move to Identity

---
 ROOT | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ROOT')

diff --git a/ROOT b/ROOT
index 61c5cc4..c960fd7 100644
--- a/ROOT
+++ b/ROOT
@@ -33,4 +33,3 @@ session HoTT in hott = Spartan +
     Equivalence
     Nat
     More_List
-    Eckmann_Hilton
-- 
cgit v1.2.3