src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Aug 17 14:13:34 2017 +0200
+++ b/src/HOL/ROOT	Thu Aug 17 14:28:01 2017 +0200
@@ -692,6 +692,8 @@
   description {*
     The Eisbach proof method language and "match" method.
   *}
+  sessions
+    FOL
   theories
     Eisbach
     Tests