src/CCL/ROOT

--- a/src/CCL/ROOT	Thu Aug 17 14:13:34 2017 +0200
+++ b/src/CCL/ROOT	Thu Aug 17 14:28:01 2017 +0200
@@ -11,6 +11,8 @@
     evaluation to weak head-normal form.
   *}
   options [document = false]
+  sessions
+    FOL
   theories
     Wfd
     Fix