src/CCL/ROOT
changeset 66444 6d2d993fa76e
parent 58974 cbc2ac19d783
child 66946 3d8fd98c7c86
--- 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