- m -

• main() : life.c , timer.c , try.c
• main_display_psi_term() : print.c
• main_pred_write() : print.c
• main_prove() : login.c
• make_bitvector_internal() : sys.c
• make_bytedata() : sys.c
• make_feature_list() : built_in.c
• make_feature_private() : modules.c
• make_life_form() : parser.c
• make_module_token() : modules.c , modules.h
• make_public() : modules.c
• make_sys_type_links() : sys.c
• make_type_link() : types.c
• makeGoal() : bi_sys.c
• makePsiList() : bi_sys.c
• makePsiTerm() : bi_sys.c
• makeUnitList() : lub.c
• mark_ancestors() : lub.c
• mark_eval() : copy.c , copy.h
• mark_eval_new() : copy.c
• mark_eval_tree() : copy.h
• mark_eval_tree_new() : copy.c
• mark_nonstrict() : copy.c , copy.h
• mark_quote() : copy.c , copy.h
• mark_quote_c() : copy.c
• mark_quote_new() : copy.c
• mark_quote_new2() : copy.c
• mark_quote_tree() : copy.c , copy.h
• mark_quote_tree_c() : copy.c
• mark_quote_tree_new() : copy.c
• mark_tab() : print.c
• match_aim() : lefun.h , lefun.c
• match_attr() : lefun.c
• match_attr1() : lefun.c
• match_attr2() : lefun.c
• match_attr3() : lefun.c
• matches() : types.c , types.h
• memory_check() : memory.h , memory.c
• merge() : login.c
• merge1() : login.c
• merge2() : login.c
• merge3() : login.c
• merge_unify() : login.c , login.h
• mod_warning() : error.h , error.c
• multiple() : timer.c , try.c
• my_wait_on_feature_internal() : sys.c

---