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-FP" in BNF = HOL + |
702 session "HOL-BNF" in BNF = HOL + |
703 description {* |
|
704 Bounded Natural Functors for (Co)datatypes, Fixpoints. |
|
705 *} |
|
706 options [document = false] |
|
707 theories BNF_LFP BNF_GFP |
|
708 |
|
709 session "HOL-BNF" in BNF = "HOL-BNF-FP" + |
|
710 description {* |
703 description {* |
711 Bounded Natural Functors for (Co)datatypes, Including More BNFs. |
704 Bounded Natural Functors for (Co)datatypes, Including More BNFs. |
712 *} |
705 *} |
713 options [document = false] |
706 options [document = false] |
714 theories BNF |
707 theories BNF |