Nuprl - MarkB_generic Citations of leaf

Def leaf_value(t) == Case(t) Case tree_leaf(l) = > l Default = > True

No mentions to report in MarkB_generic.