equal
deleted
inserted
replaced
728 document_files |
728 document_files |
729 "intro.tex" |
729 "intro.tex" |
730 "root.tex" |
730 "root.tex" |
731 "root.bib" |
731 "root.bib" |
732 |
732 |
733 session "HOL-BNF_Examples" in BNF_Examples = HOL + |
733 session "HOL-Datatype_Examples" in Datatype_Examples = HOL + |
734 description {* |
734 description {* |
735 Examples for Bounded Natural Functors. |
735 (Co)datatype Examples. |
736 *} |
736 *} |
737 options [document = false] |
737 options [document = false] |
738 theories |
738 theories |
739 Compat |
739 Compat |
740 Lambda_Term |
740 Lambda_Term |