equal
deleted
inserted
replaced
621 options [document = false] |
621 options [document = false] |
622 theories BNF |
622 theories BNF |
623 |
623 |
624 session "HOL-BNF-Examples" in "BNF/Examples" = "HOL-BNF" + |
624 session "HOL-BNF-Examples" in "BNF/Examples" = "HOL-BNF" + |
625 description {* Examples for Bounded Natural Functors *} |
625 description {* Examples for Bounded Natural Functors *} |
626 options [document = false] |
626 options [document = false, threads = 1] |
627 theories |
627 theories |
628 Lambda_Term |
628 Lambda_Term |
629 Process |
629 Process |
630 TreeFsetI |
630 TreeFsetI |
631 "Derivation_Trees/Gram_Lang" |
631 "Derivation_Trees/Gram_Lang" |