src/Doc/ROOT
changeset 55073 9b96fb4c8cfd
parent 54354 4e6defdc24ac
child 55159 608c157d743d
     1.1 --- a/src/Doc/ROOT	Mon Jan 20 18:24:56 2014 +0100
     1.2 +++ b/src/Doc/ROOT	Mon Jan 20 18:24:56 2014 +0100
     1.3 @@ -37,7 +37,7 @@
     1.4      "document/root.tex"
     1.5      "document/style.sty"
     1.6  
     1.7 -session Datatypes (doc) in "Datatypes" = "HOL-BNF" +
     1.8 +session Datatypes (doc) in "Datatypes" = HOL +
     1.9    options [document_variants = "datatypes"]
    1.10    theories [document = false] Setup
    1.11    theories Datatypes