is mentioned by
![]() ![]() ![]() ![]() | [tree_leaf_one_one] |
![]() ![]() ![]() ![]() | [leaf_value_wf] |
![]() ![]() | [right_child_wf] |
![]() ![]() | [left_child_wf] |
![]() ![]() ![]() | [is_leaf_wf] |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [t_iterate_wf] |
![]() ![]() | [tree_node_wf2] |
![]() ![]() | [tree_leaf_wf2] |
![]() | [tree_subtype2] |
![]() ![]() | [tree_wf] |
In prior sections: core well fnd int 1 bool 1 sqequal 1 prog 1
Try larger context:
MarkB generic
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html