src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Sep 24 22:44:13 2021 +0200
+++ b/src/HOL/ROOT	Sun Sep 26 18:49:55 2021 +0200
@@ -668,7 +668,6 @@
     Execute_Choice
     Function_Growth
     Gauge_Integration
-    Guess
     HarmonicSeries
     Hebrew
     Hex_Bin_Examples