src/Doc/ROOT
changeset 66444 6d2d993fa76e
parent 65573 0f3fdf689bf9
child 66453 cc19f7ca2ed6
     1.1 --- a/src/Doc/ROOT	Thu Aug 17 14:13:34 2017 +0200
     1.2 +++ b/src/Doc/ROOT	Thu Aug 17 14:28:01 2017 +0200
     1.3 @@ -298,6 +298,8 @@
     1.4  session Logics_ZF (doc) in "Logics_ZF" = ZF +
     1.5    options [document_variants = "logics-ZF", print_mode = "brackets",
     1.6      thy_output_source]
     1.7 +  sessions
     1.8 +    FOL
     1.9    theories
    1.10      IFOL_examples
    1.11      FOL_examples