src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Dec 23 15:20:52 2020 +0100
+++ b/src/HOL/ROOT	Wed Dec 23 17:16:05 2020 +0100
@@ -709,6 +709,8 @@
     Miscellaneous Isabelle/Isar examples.
   "
   options [quick_and_dirty]
+  sessions
+    "HOL-Hoare"
   theories
     Structured_Statements
     Basic_Logic