# HG changeset patch
# User wenzelm
# Date 1502972881 -7200
# Node ID 6d2d993fa76ef080a55ca012e577c03dbf929234
# Parent  657c517c7dc6cd3866d4b737f2ffd93e6238d86b
clarified imports;

diff -r 657c517c7dc6 -r 6d2d993fa76e 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
diff -r 657c517c7dc6 -r 6d2d993fa76e src/Doc/ROOT
--- a/src/Doc/ROOT	Thu Aug 17 14:13:34 2017 +0200
+++ b/src/Doc/ROOT	Thu Aug 17 14:28:01 2017 +0200
@@ -298,6 +298,8 @@
 session Logics_ZF (doc) in "Logics_ZF" = ZF +
   options [document_variants = "logics-ZF", print_mode = "brackets",
     thy_output_source]
+  sessions
+    FOL
   theories
     IFOL_examples
     FOL_examples
diff -r 657c517c7dc6 -r 6d2d993fa76e 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
diff -r 657c517c7dc6 -r 6d2d993fa76e 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
 
diff -r 657c517c7dc6 -r 6d2d993fa76e src/ZF/ROOT
--- a/src/ZF/ROOT	Thu Aug 17 14:13:34 2017 +0200
+++ b/src/ZF/ROOT	Thu Aug 17 14:28:01 2017 +0200
@@ -42,6 +42,8 @@
     Kenneth Kunen, Set Theory: An Introduction to Independence Proofs,
     (North-Holland, 1980)
   *}
+  sessions
+    FOL
   theories
     ZF (global)
     ZFC (global)