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