src/HOL/ROOT
changeset 58309 a09ec6daaa19
parent 58308 0ccba1b6d00b
child 58312 710f56e192fe
     1.1 --- a/src/HOL/ROOT	Thu Sep 11 19:20:23 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Sep 11 19:26:59 2014 +0200
     1.3 @@ -730,9 +730,9 @@
     1.4      "root.tex"
     1.5      "root.bib"
     1.6  
     1.7 -session "HOL-BNF_Examples" in BNF_Examples = HOL +
     1.8 +session "HOL-Datatype_Examples" in Datatype_Examples = HOL +
     1.9    description {*
    1.10 -    Examples for Bounded Natural Functors.
    1.11 +    (Co)datatype Examples.
    1.12    *}
    1.13    options [document = false]
    1.14    theories