clean up Eckmann-Hilton and move to Identity

1 files changed, 0 insertions, 1 deletions

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