.. env-tree env-tree--nope far-out-ideas functions-nameless-ideas kernel-ideas more-primitive-proving proof-mechs proof-mechs--prev proving-as-directed-evaluation quantifiers term-lookup term-search-eval terms-ideas type-system zbepi.sls--hmm zbepi.sls--prev zbepi.sls--sequence zbepi.sls--strict