src/HOL/Homology/Homology.thy

--- a/src/HOL/Homology/Homology.thy	Tue Apr 09 15:31:14 2019 +0100
+++ b/src/HOL/Homology/Homology.thy	Tue Apr 09 21:05:32 2019 +0100
@@ -1,6 +1,5 @@
 theory Homology
-  imports
-  Simplices
+  imports Brouwer_Degree 
 begin
 
 end