lib, plus some defined in lisp.
new_load2
destruct_rule_term_tree rule_term_tree_of_thm_object update_rule_term_tree_of_thm_object
is_lib_member is_object kind_of_object
object_body_to_term term_of_object term_to_object_body set_term_of_object library lib_segment
goal_of_thm_object type_of_extract
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html