src/Pure/ROOT

--- a/src/Pure/ROOT	Sat Jun 06 10:58:13 2020 +0200
+++ b/src/Pure/ROOT	Mon Jun 08 15:09:57 2020 +0200
@@ -10,3 +10,14 @@
   theories
     ML_Bootstrap (global)
     Sessions
+
+session "Pure-Examples" in Examples = Pure +
+  description "
+    Notable Examples in Isabelle/Pure.
+  "
+  theories
+    First_Order_Logic
+    Higher_Order_Logic
+  document_files
+    "root.bib"
+    "root.tex"