equal
deleted
inserted
replaced
697 files |
697 files |
698 "document/intro.tex" |
698 "document/intro.tex" |
699 "document/root.tex" |
699 "document/root.tex" |
700 "document/root.bib" |
700 "document/root.bib" |
701 |
701 |
702 session "HOL-BNF" in BNF = HOL + |
|
703 description {* |
|
704 Bounded Natural Functors for (Co)datatypes, Including More BNFs. |
|
705 *} |
|
706 options [document = false] |
|
707 theories BNF |
|
708 |
|
709 session "HOL-BNF_Examples" in BNF_Examples = HOL + |
702 session "HOL-BNF_Examples" in BNF_Examples = HOL + |
710 description {* |
703 description {* |
711 Examples for Bounded Natural Functors. |
704 Examples for Bounded Natural Functors. |
712 *} |
705 *} |
713 options [document = false] |
706 options [document = false] |