src/Pure/ROOT

--- a/src/Pure/ROOT	Fri Sep 10 21:55:55 2021 +0200
+++ b/src/Pure/ROOT	Fri Sep 10 22:46:41 2021 +0200
@@ -21,3 +21,11 @@
   document_files
     "root.bib"
     "root.tex"
+
+session "Pure-ex" in ex = Pure +
+  description "
+    Miscellaneous examples and experiments for Isabelle/Pure.
+  "
+  theories
+    Def
+    Def_Examples