--- 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
--- 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
--- 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
--- 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
--- 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)