src/Pure/ROOT

--- a/src/Pure/ROOT	Fri Sep 24 22:44:13 2021 +0200
+++ b/src/Pure/ROOT	Sun Sep 26 18:49:55 2021 +0200
@@ -26,6 +26,11 @@
   description "
     Miscellaneous examples and experiments for Isabelle/Pure.
   "
+  sessions
+    "Pure-Examples"
   theories
     Def
     Def_Examples
+    Guess
+    Guess_Examples
+