src/LCF/ROOT

--- a/src/LCF/ROOT	Thu Aug 17 14:13:34 2017 +0200
+++ b/src/LCF/ROOT	Thu Aug 17 14:28:01 2017 +0200
@@ -11,6 +11,8 @@
     Logic and Computation: Interactive proof with Cambridge LCF (CUP, 1987)
   *}
   options [document = false]
+  sessions
+    FOL
   theories
     LCF