/ADD_SUPPOSE.doc/1.1.1.1/Mon Oct 16 13:32:47 1995//THOL97
/ADD_THEOREM.doc/1.1.1.1/Mon Oct 16 13:32:47 1995//THOL97
/ALL_STACKS.doc/1.1.1.1/Mon Oct 16 13:32:47 1995//THOL97
/ASM_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:47 1995//THOL97
/BEGIN_STACK.doc/1.1.1.1/Mon Oct 16 13:32:47 1995//THOL97
/BEGIN_STACK_TAC.doc/1.1.1.1/Mon Oct 16 13:32:47 1995//THOL97
/CLOSE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:48 1995//THOL97
/CONJECTURE.doc/1.1.1.1/Mon Oct 16 13:32:48 1995//THOL97
/CONTEXT_LIST.doc/1.1.1.1/Mon Oct 16 13:32:48 1995//THOL97
/CONVERT_WIN.doc/1.1.1.1/Mon Oct 16 13:32:48 1995//THOL97
/CURRENT_NAME.doc/1.1.1.1/Mon Oct 16 13:32:48 1995//THOL97
/CURRENT_STACK.doc/1.1.1.1/Mon Oct 16 13:32:49 1995//THOL97
/DEFINED.doc/1.1.1.1/Mon Oct 16 13:32:49 1995//THOL97
/DO.doc/1.1.1.1/Mon Oct 16 13:32:49 1995//THOL97
/END_STACK.doc/1.1.1.1/Mon Oct 16 13:32:49 1995//THOL97
/END_STACK_TAC.doc/1.1.1.1/Mon Oct 16 13:32:49 1995//THOL97
/ESTABLISH.doc/1.1.1.1/Mon Oct 16 13:32:49 1995//THOL97
/EXISTS_PMI.doc/1.1.1.1/Mon Oct 16 13:32:49 1995//THOL97
/FILTER_ASM_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:49 1995//THOL97
/FILTER_ONCE_ASM_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:50 1995//THOL97
/FILTER_PURE_ASM_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:50 1995//THOL97
/FILTER_PURE_ONCE_ASM_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:50 1995//THOL97
/FOC_RULE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:50 1995//THOL97
/GEN_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:50 1995//THOL97
/GET_STACK.doc/1.1.1.1/Mon Oct 16 13:32:50 1995//THOL97
/IMP_PMI.doc/1.1.1.1/Mon Oct 16 13:32:50 1995//THOL97
/IMP_PMI_CONV.doc/1.1.1.1/Mon Oct 16 13:32:51 1995//THOL97
/MATCH_TRANSFORM_WIN.doc/1.1.1.1/Mon Oct 16 13:32:51 1995//THOL97
/ONCE_ASM_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:51 1995//THOL97
/ONCE_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:51 1995//THOL97
/OPEN_CONTEXT.doc/1.1.1.1/Mon Oct 16 13:32:51 1995//THOL97
/OPEN_WIN.doc/1.1.1.1/Mon Oct 16 13:32:51 1995//THOL97
/PMI_IMP.doc/1.1.1.1/Mon Oct 16 13:32:51 1995//THOL97
/PMI_IMP_CONV.doc/1.1.1.1/Mon Oct 16 13:32:52 1995//THOL97
/PMI_TRANS.doc/1.1.1.1/Mon Oct 16 13:32:52 1995//THOL97
/PRINT_STACK.doc/1.1.1.1/Mon Oct 16 13:32:52 1995//THOL97
/PURE_ASM_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:52 1995//THOL97
/PURE_ONCE_ASM_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:52 1995//THOL97
/PURE_ONCE_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:52 1995//THOL97
/PURE_REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:53 1995//THOL97
/REDO.doc/1.1.1.1/Mon Oct 16 13:32:52 1995//THOL97
/REWRITE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:53 1995//THOL97
/RULE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:53 1995//THOL97
/SAVE_WIN_THM.doc/1.1.1.1/Mon Oct 16 13:32:53 1995//THOL97
/SET_MAX_HIST.doc/1.1.1.1/Mon Oct 16 13:32:53 1995//THOL97
/SET_STACK.doc/1.1.1.1/Mon Oct 16 13:32:54 1995//THOL97
/SMASH.doc/1.1.1.1/Mon Oct 16 13:32:53 1995//THOL97
/TACTIC_WIN.doc/1.1.1.1/Mon Oct 16 13:32:54 1995//THOL97
/THM_RULE_WIN.doc/1.1.1.1/Mon Oct 16 13:32:54 1995//THOL97
/TRANSFORM_WIN.doc/1.1.1.1/Mon Oct 16 13:32:54 1995//THOL97
/UNDEFINED.doc/1.1.1.1/Mon Oct 16 13:32:54 1995//THOL97
/UNDO.doc/1.1.1.1/Mon Oct 16 13:32:54 1995//THOL97
/UNDO_WIN.doc/1.1.1.1/Mon Oct 16 13:32:54 1995//THOL97
/WIN_ERR.doc/1.1.1.1/Mon Oct 16 13:32:55 1995//THOL97
/WIN_THM.doc/1.1.1.1/Mon Oct 16 13:32:55 1995//THOL97
/add_relation.doc/1.1.1.1/Mon Oct 16 13:32:55 1995//THOL97
/add_suppose.doc/1.1.1.1/Mon Oct 16 13:32:55 1995//THOL97
/add_theorem.doc/1.1.1.1/Mon Oct 16 13:32:55 1995//THOL97
/add_weak.doc/1.1.1.1/Mon Oct 16 13:32:55 1995//THOL97
/after.doc/1.1.1.1/Mon Oct 16 13:32:56 1995//THOL97
/all_hypotheses.doc/1.1.1.1/Mon Oct 16 13:32:56 1995//THOL97
/bad_conjectures.doc/1.1.1.1/Mon Oct 16 13:32:56 1995//THOL97
/beg_stack_sig.doc/1.1.1.1/Mon Oct 16 13:32:56 1995//THOL97
/best.doc/1.1.1.1/Mon Oct 16 13:32:56 1995//THOL97
/better_goal.doc/1.1.1.1/Mon Oct 16 13:32:56 1995//THOL97
/better_thm.doc/1.1.1.1/Mon Oct 16 13:32:56 1995//THOL97
/bndvar.doc/1.1.1.1/Mon Oct 16 13:32:57 1995//THOL97
/bound.doc/1.1.1.1/Mon Oct 16 13:32:57 1995//THOL97
/boundin.doc/1.1.1.1/Mon Oct 16 13:32:57 1995//THOL97
/catch_signal.doc/1.1.1.1/Mon Oct 16 13:32:57 1995//THOL97
/clear_signal.doc/1.1.1.1/Mon Oct 16 13:32:57 1995//THOL97
/cng_win_sig.doc/1.1.1.1/Mon Oct 16 13:32:57 1995//THOL97
/conjecture.doc/1.1.1.1/Mon Oct 16 13:32:57 1995//THOL97
/conjectures.doc/1.1.1.1/Mon Oct 16 13:32:58 1995//THOL97
/context.doc/1.1.1.1/Mon Oct 16 13:32:58 1995//THOL97
/convert_win.doc/1.1.1.1/Mon Oct 16 13:32:58 1995//THOL97
/create_stack.doc/1.1.1.1/Mon Oct 16 13:32:58 1995//THOL97
/create_win.doc/1.1.1.1/Mon Oct 16 13:32:58 1995//THOL97
/depth_stack.doc/1.1.1.1/Mon Oct 16 13:32:58 1995//THOL97
/dest_pmi.doc/1.1.1.1/Mon Oct 16 13:32:58 1995//THOL97
/disp_hypotheses.doc/1.1.1.1/Mon Oct 16 13:32:59 1995//THOL97
/dodo.doc/1.1.1.1/Mon Oct 16 13:32:59 1995//THOL97
/dom.doc/1.1.1.1/Mon Oct 16 13:32:59 1995//THOL97
/end_stack_sig.doc/1.1.1.1/Mon Oct 16 13:32:59 1995//THOL97
/equiv_tm.doc/1.1.1.1/Mon Oct 16 13:32:59 1995//THOL97
/fail.doc/1.1.1.1/Mon Oct 16 13:32:59 1995//THOL97
/false_tm.doc/1.1.1.1/Mon Oct 16 13:32:59 1995//THOL97
/foc_rule_win.doc/1.1.1.1/Mon Oct 16 13:33:00 1995//THOL97
/focus.doc/1.1.1.1/Mon Oct 16 13:33:00 1995//THOL97
/front.doc/1.1.1.1/Mon Oct 16 13:33:00 1995//THOL97
/fun_type.doc/1.1.1.1/Mon Oct 16 13:33:00 1995//THOL97
/get_thm.doc/1.1.1.1/Mon Oct 16 13:33:00 1995//THOL97
/goal_set_equal.doc/1.1.1.1/Mon Oct 16 13:33:00 1995//THOL97
/goal_setify.doc/1.1.1.1/Mon Oct 16 13:33:00 1995//THOL97
/goal_subset.doc/1.1.1.1/Mon Oct 16 13:33:01 1995//THOL97
/goal_subtract.doc/1.1.1.1/Mon Oct 16 13:33:01 1995//THOL97
/hyp_thms.doc/1.1.1.1/Mon Oct 16 13:33:01 1995//THOL97
/hypotheses.doc/1.1.1.1/Mon Oct 16 13:33:01 1995//THOL97
/imp_tm.doc/1.1.1.1/Mon Oct 16 13:33:01 1995//THOL97
/is_fun.doc/1.1.1.1/Mon Oct 16 13:33:01 1995//THOL97
/is_pmi.doc/1.1.1.1/Mon Oct 16 13:33:01 1995//THOL97
/is_trueimp.doc/1.1.1.1/Mon Oct 16 13:33:01 1995//THOL97
/is_weaker.doc/1.1.1.1/Mon Oct 16 13:33:02 1995//THOL97
/kill_rule.doc/1.1.1.1/Mon Oct 16 13:33:02 1995//THOL97
/lemma_thms.doc/1.1.1.1/Mon Oct 16 13:33:02 1995//THOL97
/lemmas.doc/1.1.1.1/Mon Oct 16 13:33:02 1995//THOL97
/make_win.doc/1.1.1.1/Mon Oct 16 13:33:02 1995//THOL97
/match_transform_win.doc/1.1.1.1/Mon Oct 16 13:33:02 1995//THOL97
/merge.doc/1.1.1.1/Mon Oct 16 13:33:02 1995//THOL97
/new_history.doc/1.1.1.1/Mon Oct 16 13:33:03 1995//THOL97
/new_signal.doc/1.1.1.1/Mon Oct 16 13:33:03 1995//THOL97
/origin.doc/1.1.1.1/Mon Oct 16 13:33:03 1995//THOL97
/pmi_tm.doc/1.1.1.1/Mon Oct 16 13:33:03 1995//THOL97
/pop_win_sig.doc/1.1.1.1/Mon Oct 16 13:33:03 1995//THOL97
/prefix.doc/1.1.1.1/Mon Oct 16 13:33:04 1995//THOL97
/present.doc/1.1.1.1/Mon Oct 16 13:33:04 1995//THOL97
/prove_hyp.doc/1.1.1.1/Mon Oct 16 13:33:04 1995//THOL97
/psh_win_sig.doc/1.1.1.1/Mon Oct 16 13:33:04 1995//THOL97
/ran.doc/1.1.1.1/Mon Oct 16 13:33:04 1995//THOL97
/redo.doc/1.1.1.1/Mon Oct 16 13:33:04 1995//THOL97
/reflexive.doc/1.1.1.1/Mon Oct 16 13:33:05 1995//THOL97
/relation.doc/1.1.1.1/Mon Oct 16 13:33:05 1995//THOL97
/replicate.doc/1.1.1.1/Mon Oct 16 13:33:05 1995//THOL97
/rule_win.doc/1.1.1.1/Mon Oct 16 13:33:05 1995//THOL97
/search_rule.doc/1.1.1.1/Mon Oct 16 13:33:05 1995//THOL97
/set_size.doc/1.1.1.1/Mon Oct 16 13:33:05 1995//THOL97
/set_stack_sig.doc/1.1.1.1/Mon Oct 16 13:33:06 1995//THOL97
/signal.doc/1.1.1.1/Mon Oct 16 13:33:06 1995//THOL97
/smash.doc/1.1.1.1/Mon Oct 16 13:33:06 1995//THOL97
/store_rule.doc/1.1.1.1/Mon Oct 16 13:33:06 1995//THOL97
/suppositions.doc/1.1.1.1/Mon Oct 16 13:33:06 1995//THOL97
/tactic_win.doc/1.1.1.1/Mon Oct 16 13:33:06 1995//THOL97
/term_intersect.doc/1.1.1.1/Mon Oct 16 13:33:06 1995//THOL97
/term_mem.doc/1.1.1.1/Mon Oct 16 13:33:06 1995//THOL97
/term_setify.doc/1.1.1.1/Mon Oct 16 13:33:07 1995//THOL97
/term_subset.doc/1.1.1.1/Mon Oct 16 13:33:07 1995//THOL97
/term_subtract.doc/1.1.1.1/Mon Oct 16 13:33:07 1995//THOL97
/term_union.doc/1.1.1.1/Mon Oct 16 13:33:07 1995//THOL97
/thm_rule_win.doc/1.1.1.1/Mon Oct 16 13:33:07 1995//THOL97
/thm_set_equal.doc/1.1.1.1/Mon Oct 16 13:33:08 1995//THOL97
/thm_setify.doc/1.1.1.1/Mon Oct 16 13:33:07 1995//THOL97
/thm_subset.doc/1.1.1.1/Mon Oct 16 13:33:08 1995//THOL97
/thm_subtract.doc/1.1.1.1/Mon Oct 16 13:33:08 1995//THOL97
/top_path.doc/1.1.1.1/Mon Oct 16 13:33:08 1995//THOL97
/top_window.doc/1.1.1.1/Mon Oct 16 13:33:08 1995//THOL97
/transfer_sups_thms.doc/1.1.1.1/Mon Oct 16 13:33:08 1995//THOL97
/transform_win.doc/1.1.1.1/Mon Oct 16 13:33:08 1995//THOL97
/transitive.doc/1.1.1.1/Mon Oct 16 13:33:09 1995//THOL97
/traverse.doc/1.1.1.1/Mon Oct 16 13:33:09 1995//THOL97
/true_tm.doc/1.1.1.1/Mon Oct 16 13:33:07 1995//THOL97
/tryfirst.doc/1.1.1.1/Mon Oct 16 13:33:09 1995//THOL97
/undo.doc/1.1.1.1/Mon Oct 16 13:33:04 1995//THOL97
/used_conjectures.doc/1.1.1.1/Mon Oct 16 13:33:09 1995//THOL97
/used_hypotheses.doc/1.1.1.1/Mon Oct 16 13:33:09 1995//THOL97
/value.doc/1.1.1.1/Mon Oct 16 13:33:09 1995//THOL97
/weaken.doc/1.1.1.1/Mon Oct 16 13:33:09 1995//THOL97
/win_thm.doc/1.1.1.1/Mon Oct 16 13:33:09 1995//THOL97
/window_version.doc/1.1.1.1/Mon Oct 16 13:33:10 1995//THOL97
