clarified imports;
authorwenzelm
Thu Aug 17 14:28:01 2017 +0200 (2017-08-17)
changeset 664446d2d993fa76e
parent 66443 657c517c7dc6
child 66445 407de0768126
clarified imports;
src/CCL/ROOT
src/Doc/ROOT
src/HOL/ROOT
src/LCF/ROOT
src/ZF/ROOT
     1.1 --- a/src/CCL/ROOT	Thu Aug 17 14:13:34 2017 +0200
     1.2 +++ b/src/CCL/ROOT	Thu Aug 17 14:28:01 2017 +0200
     1.3 @@ -11,6 +11,8 @@
     1.4      evaluation to weak head-normal form.
     1.5    *}
     1.6    options [document = false]
     1.7 +  sessions
     1.8 +    FOL
     1.9    theories
    1.10      Wfd
    1.11      Fix
     2.1 --- a/src/Doc/ROOT	Thu Aug 17 14:13:34 2017 +0200
     2.2 +++ b/src/Doc/ROOT	Thu Aug 17 14:28:01 2017 +0200
     2.3 @@ -298,6 +298,8 @@
     2.4  session Logics_ZF (doc) in "Logics_ZF" = ZF +
     2.5    options [document_variants = "logics-ZF", print_mode = "brackets",
     2.6      thy_output_source]
     2.7 +  sessions
     2.8 +    FOL
     2.9    theories
    2.10      IFOL_examples
    2.11      FOL_examples
     3.1 --- a/src/HOL/ROOT	Thu Aug 17 14:13:34 2017 +0200
     3.2 +++ b/src/HOL/ROOT	Thu Aug 17 14:28:01 2017 +0200
     3.3 @@ -692,6 +692,8 @@
     3.4    description {*
     3.5      The Eisbach proof method language and "match" method.
     3.6    *}
     3.7 +  sessions
     3.8 +    FOL
     3.9    theories
    3.10      Eisbach
    3.11      Tests
     4.1 --- a/src/LCF/ROOT	Thu Aug 17 14:13:34 2017 +0200
     4.2 +++ b/src/LCF/ROOT	Thu Aug 17 14:28:01 2017 +0200
     4.3 @@ -11,6 +11,8 @@
     4.4      Logic and Computation: Interactive proof with Cambridge LCF (CUP, 1987)
     4.5    *}
     4.6    options [document = false]
     4.7 +  sessions
     4.8 +    FOL
     4.9    theories
    4.10      LCF
    4.11  
     5.1 --- a/src/ZF/ROOT	Thu Aug 17 14:13:34 2017 +0200
     5.2 +++ b/src/ZF/ROOT	Thu Aug 17 14:28:01 2017 +0200
     5.3 @@ -42,6 +42,8 @@
     5.4      Kenneth Kunen, Set Theory: An Introduction to Independence Proofs,
     5.5      (North-Holland, 1980)
     5.6    *}
     5.7 +  sessions
     5.8 +    FOL
     5.9    theories
    5.10      ZF (global)
    5.11      ZFC (global)