src/Doc/ROOT
changeset 67219 81e9804b2014
parent 67215 03d0c958d65a
child 67904 465f43a9f780
     1.1 --- a/src/Doc/ROOT	Sat Dec 16 20:02:40 2017 +0100
     1.2 +++ b/src/Doc/ROOT	Sat Dec 16 21:53:07 2017 +0100
     1.3 @@ -372,6 +372,8 @@
     1.4  
     1.5  session System (doc) in "System" = Pure +
     1.6    options [document_variants = "system", thy_output_source]
     1.7 +  sessions
     1.8 +    "HOL-Library"
     1.9    theories
    1.10      Environment
    1.11      Sessions