/*.doc/1.1.1.1/Mon Oct 16 13:33:38 1995//THOL97
/+.doc/1.1.1.1/Mon Oct 16 13:33:38 1995//THOL97
/-.doc/1.1.1.1/Mon Oct 16 13:33:38 1995//THOL97
/<.doc/1.1.1.1/Mon Oct 16 13:33:38 1995//THOL97
/<<.doc/1.1.1.1/Mon Oct 16 13:33:38 1995//THOL97
/=.doc/1.1.1.1/Mon Oct 16 13:33:39 1995//THOL97
/>.doc/1.1.1.1/Mon Oct 16 13:33:39 1995//THOL97
/@.doc/1.1.1.1/Mon Oct 16 13:33:39 1995//THOL97
/ABS.doc/1.1.1.1/Mon Oct 16 13:33:39 1995//THOL97
/ABS_CONV.doc/1.1.1.1/Mon Oct 16 13:33:39 1995//THOL97
/ACCEPT_TAC.doc/1.1.1.1/Mon Oct 16 13:33:39 1995//THOL97
/AC_CONV.doc/1.1.1.1/Mon Oct 16 13:33:39 1995//THOL97
/ADD_ASSUM.doc/1.1.1.1/Mon Oct 16 13:33:40 1995//THOL97
/ADD_CONV.doc/1.1.1.1/Mon Oct 16 13:33:40 1995//THOL97
/ALL_CONV.doc/1.1.1.1/Mon Oct 16 13:33:40 1995//THOL97
/ALL_TAC.doc/1.1.1.1/Mon Oct 16 13:33:40 1995//THOL97
/ALL_THEN.doc/1.1.1.1/Mon Oct 16 13:33:40 1995//THOL97
/ALPHA.doc/1.1.1.1/Mon Oct 16 13:33:40 1995//THOL97
/ALPHA_CONV.doc/1.1.1.1/Mon Oct 16 13:33:40 1995//THOL97
/AND_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:33:41 1995//THOL97
/AND_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:33:41 1995//THOL97
/ANTE_CONJ_CONV.doc/1.1.1.1/Mon Oct 16 13:33:41 1995//THOL97
/ANTE_RES_THEN.doc/1.1.1.1/Mon Oct 16 13:33:41 1995//THOL97
/APPEND_CONV.doc/1.1.1.1/Mon Oct 16 13:33:41 1995//THOL97
/AP_TERM.doc/1.1.1.1/Mon Oct 16 13:33:41 1995//THOL97
/AP_TERM_TAC.doc/1.1.1.1/Mon Oct 16 13:33:42 1995//THOL97
/AP_THM.doc/1.1.1.1/Mon Oct 16 13:33:42 1995//THOL97
/AP_THM_TAC.doc/1.1.1.1/Mon Oct 16 13:33:42 1995//THOL97
/ASM_CASES_TAC.doc/1.1.1.1/Mon Oct 16 13:33:42 1995//THOL97
/ASM_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:33:42 1995//THOL97
/ASM_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:33:42 1995//THOL97
/ASSUME.doc/1.1.1.1/Mon Oct 16 13:33:42 1995//THOL97
/ASSUME_TAC.doc/1.1.1.1/Mon Oct 16 13:33:43 1995//THOL97
/ASSUM_LIST.doc/1.1.1.1/Mon Oct 16 13:33:43 1995//THOL97
/B.doc/1.1.1.1/Mon Oct 16 13:33:43 1995//THOL97
/BETA_CONV.doc/1.1.1.1/Mon Oct 16 13:33:43 1995//THOL97
/BETA_RULE.doc/1.1.1.1/Mon Oct 16 13:33:43 1995//THOL97
/BETA_TAC.doc/1.1.1.1/Mon Oct 16 13:33:43 1995//THOL97
/BODY_CONJUNCTS.doc/1.1.1.1/Mon Oct 16 13:33:44 1995//THOL97
/BOOL_CASES_TAC.doc/1.1.1.1/Mon Oct 16 13:33:44 1995//THOL97
/C.doc/1.1.1.1/Mon Oct 16 13:33:44 1995//THOL97
/CASES_THENL.doc/1.1.1.1/Mon Oct 16 13:33:44 1995//THOL97
/CB.doc/1.1.1.1/Mon Oct 16 13:33:44 1995//THOL97
/CCONTR.doc/1.1.1.1/Mon Oct 16 13:33:44 1995//THOL97
/CHANGED_CONV.doc/1.1.1.1/Mon Oct 16 13:33:45 1995//THOL97
/CHANGED_TAC.doc/1.1.1.1/Mon Oct 16 13:33:44 1995//THOL97
/CHECK_ASSUME_TAC.doc/1.1.1.1/Mon Oct 16 13:33:45 1995//THOL97
/CHOOSE.doc/1.1.1.1/Mon Oct 16 13:33:45 1995//THOL97
/CHOOSE_TAC.doc/1.1.1.1/Mon Oct 16 13:33:45 1995//THOL97
/CHOOSE_THEN.doc/1.1.1.1/Mon Oct 16 13:33:45 1995//THOL97
/COND_CASES_TAC.doc/1.1.1.1/Mon Oct 16 13:33:45 1995//THOL97
/COND_CONV.doc/1.1.1.1/Mon Oct 16 13:33:46 1995//THOL97
/CONJ.doc/1.1.1.1/Mon Oct 16 13:33:46 1995//THOL97
/CONJUNCT1.doc/1.1.1.1/Mon Oct 16 13:33:46 1995//THOL97
/CONJUNCT2.doc/1.1.1.1/Mon Oct 16 13:33:46 1995//THOL97
/CONJUNCTS.doc/1.1.1.1/Mon Oct 16 13:33:46 1995//THOL97
/CONJUNCTS_CONV.doc/1.1.1.1/Mon Oct 16 13:33:46 1995//THOL97
/CONJUNCTS_THEN.doc/1.1.1.1/Mon Oct 16 13:33:46 1995//THOL97
/CONJUNCTS_THEN2.doc/1.1.1.1/Mon Oct 16 13:33:47 1995//THOL97
/CONJ_DISCH.doc/1.1.1.1/Mon Oct 16 13:33:47 1995//THOL97
/CONJ_DISCHL.doc/1.1.1.1/Mon Oct 16 13:33:47 1995//THOL97
/CONJ_LIST.doc/1.1.1.1/Mon Oct 16 13:33:47 1995//THOL97
/CONJ_PAIR.doc/1.1.1.1/Mon Oct 16 13:33:47 1995//THOL97
/CONJ_SET_CONV.doc/1.1.1.1/Mon Oct 16 13:33:47 1995//THOL97
/CONJ_TAC.doc/1.1.1.1/Mon Oct 16 13:33:48 1995//THOL97
/CONTR.doc/1.1.1.1/Mon Oct 16 13:33:48 1995//THOL97
/CONTRAPOS.doc/1.1.1.1/Mon Oct 16 13:33:48 1995//THOL97
/CONTRAPOS_CONV.doc/1.1.1.1/Mon Oct 16 13:33:48 1995//THOL97
/CONTR_TAC.doc/1.1.1.1/Mon Oct 16 13:33:48 1995//THOL97
/CONV_RULE.doc/1.1.1.1/Mon Oct 16 13:33:48 1995//THOL97
/CONV_TAC.doc/1.1.1.1/Mon Oct 16 13:33:48 1995//THOL97
/Co.doc/1.1.1.1/Mon Oct 16 13:33:49 1995//THOL97
/DEF_EXISTS_RULE.doc/1.1.1.1/Mon Oct 16 13:33:49 1995//THOL97
/DEPTH_CONV.doc/1.1.1.1/Mon Oct 16 13:33:49 1995//THOL97
/DISCARD_TAC.doc/1.1.1.1/Mon Oct 16 13:33:49 1995//THOL97
/DISCH.doc/1.1.1.1/Mon Oct 16 13:33:49 1995//THOL97
/DISCH_ALL.doc/1.1.1.1/Mon Oct 16 13:33:49 1995//THOL97
/DISCH_TAC.doc/1.1.1.1/Mon Oct 16 13:33:49 1995//THOL97
/DISCH_THEN.doc/1.1.1.1/Mon Oct 16 13:33:50 1995//THOL97
/DISJ1.doc/1.1.1.1/Mon Oct 16 13:33:50 1995//THOL97
/DISJ1_TAC.doc/1.1.1.1/Mon Oct 16 13:33:50 1995//THOL97
/DISJ2.doc/1.1.1.1/Mon Oct 16 13:33:50 1995//THOL97
/DISJ2_TAC.doc/1.1.1.1/Mon Oct 16 13:33:51 1995//THOL97
/DISJ_CASES.doc/1.1.1.1/Mon Oct 16 13:33:51 1995//THOL97
/DISJ_CASES_TAC.doc/1.1.1.1/Mon Oct 16 13:33:51 1995//THOL97
/DISJ_CASES_THEN.doc/1.1.1.1/Mon Oct 16 13:33:51 1995//THOL97
/DISJ_CASES_THEN2.doc/1.1.1.1/Mon Oct 16 13:33:51 1995//THOL97
/DISJ_CASES_THENL.doc/1.1.1.1/Mon Oct 16 13:33:52 1995//THOL97
/DISJ_CASES_UNION.doc/1.1.1.1/Mon Oct 16 13:33:52 1995//THOL97
/DISJ_IMP.doc/1.1.1.1/Mon Oct 16 13:33:52 1995//THOL97
/EQF_ELIM.doc/1.1.1.1/Mon Oct 16 13:33:52 1995//THOL97
/EQF_INTRO.doc/1.1.1.1/Mon Oct 16 13:33:52 1995//THOL97
/EQT_ELIM.doc/1.1.1.1/Mon Oct 16 13:33:52 1995//THOL97
/EQT_INTRO.doc/1.1.1.1/Mon Oct 16 13:33:52 1995//THOL97
/EQ_IMP_RULE.doc/1.1.1.1/Mon Oct 16 13:33:53 1995//THOL97
/EQ_MP.doc/1.1.1.1/Mon Oct 16 13:33:53 1995//THOL97
/EQ_TAC.doc/1.1.1.1/Mon Oct 16 13:33:53 1995//THOL97
/ETA_CONV.doc/1.1.1.1/Mon Oct 16 13:33:53 1995//THOL97
/EVERY.doc/1.1.1.1/Mon Oct 16 13:33:53 1995//THOL97
/EVERY_ASSUM.doc/1.1.1.1/Mon Oct 16 13:33:53 1995//THOL97
/EVERY_CONV.doc/1.1.1.1/Mon Oct 16 13:33:53 1995//THOL97
/EVERY_TCL.doc/1.1.1.1/Mon Oct 16 13:33:54 1995//THOL97
/EXISTENCE.doc/1.1.1.1/Mon Oct 16 13:33:54 1995//THOL97
/EXISTS.doc/1.1.1.1/Mon Oct 16 13:33:54 1995//THOL97
/EXISTS_AND_CONV.doc/1.1.1.1/Mon Oct 16 13:33:54 1995//THOL97
/EXISTS_EQ.doc/1.1.1.1/Mon Oct 16 13:33:54 1995//THOL97
/EXISTS_GREATEST_CONV.doc/1.1.1.1/Mon Oct 16 13:33:54 1995//THOL97
/EXISTS_IMP.doc/1.1.1.1/Mon Oct 16 13:33:54 1995//THOL97
/EXISTS_IMP_CONV.doc/1.1.1.1/Mon Oct 16 13:33:55 1995//THOL97
/EXISTS_LEAST_CONV.doc/1.1.1.1/Mon Oct 16 13:33:55 1995//THOL97
/EXISTS_NOT_CONV.doc/1.1.1.1/Mon Oct 16 13:33:55 1995//THOL97
/EXISTS_OR_CONV.doc/1.1.1.1/Mon Oct 16 13:33:55 1995//THOL97
/EXISTS_TAC.doc/1.1.1.1/Mon Oct 16 13:33:55 1995//THOL97
/EXISTS_UNIQUE_CONV.doc/1.1.1.1/Mon Oct 16 13:33:55 1995//THOL97
/EXT.doc/1.1.1.1/Mon Oct 16 13:33:51 1995//THOL97
/FAIL_TAC.doc/1.1.1.1/Mon Oct 16 13:33:55 1995//THOL97
/FILTER_ASM_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:33:56 1995//THOL97
/FILTER_ASM_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:33:56 1995//THOL97
/FILTER_DISCH_TAC.doc/1.1.1.1/Mon Oct 16 13:33:56 1995//THOL97
/FILTER_DISCH_THEN.doc/1.1.1.1/Mon Oct 16 13:33:56 1995//THOL97
/FILTER_GEN_TAC.doc/1.1.1.1/Mon Oct 16 13:33:56 1995//THOL97
/FILTER_ONCE_ASM_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:33:56 1995//THOL97
/FILTER_ONCE_ASM_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:33:56 1995//THOL97
/FILTER_PURE_ASM_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:33:57 1995//THOL97
/FILTER_PURE_ASM_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:33:57 1995//THOL97
/FILTER_PURE_ONCE_ASM_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:33:57 1995//THOL97
/FILTER_PURE_ONCE_ASM_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:33:57 1995//THOL97
/FILTER_STRIP_TAC.doc/1.1.1.1/Mon Oct 16 13:33:57 1995//THOL97
/FILTER_STRIP_THEN.doc/1.1.1.1/Mon Oct 16 13:33:58 1995//THOL97
/FIRST.doc/1.1.1.1/Mon Oct 16 13:33:54 1995//THOL97
/FIRST_ASSUM.doc/1.1.1.1/Mon Oct 16 13:33:58 1995//THOL97
/FIRST_CONV.doc/1.1.1.1/Mon Oct 16 13:33:58 1995//THOL97
/FIRST_TCL.doc/1.1.1.1/Mon Oct 16 13:33:58 1995//THOL97
/FORALL_AND_CONV.doc/1.1.1.1/Mon Oct 16 13:33:58 1995//THOL97
/FORALL_EQ.doc/1.1.1.1/Mon Oct 16 13:33:58 1995//THOL97
/FORALL_IMP_CONV.doc/1.1.1.1/Mon Oct 16 13:33:58 1995//THOL97
/FORALL_NOT_CONV.doc/1.1.1.1/Mon Oct 16 13:33:59 1995//THOL97
/FORALL_OR_CONV.doc/1.1.1.1/Mon Oct 16 13:33:59 1995//THOL97
/FREEZE_THEN.doc/1.1.1.1/Mon Oct 16 13:33:59 1995//THOL97
/FRONT_CONJ_CONV.doc/1.1.1.1/Mon Oct 16 13:33:59 1995//THOL97
/FUN_EQ_CONV.doc/1.1.1.1/Mon Oct 16 13:33:59 1995//THOL97
/GEN.doc/1.1.1.1/Mon Oct 16 13:33:59 1995//THOL97
/GENL.doc/1.1.1.1/Mon Oct 16 13:34:00 1995//THOL97
/GEN_ALL.doc/1.1.1.1/Mon Oct 16 13:34:00 1995//THOL97
/GEN_ALPHA_CONV.doc/1.1.1.1/Mon Oct 16 13:34:00 1995//THOL97
/GEN_BETA_CONV.doc/1.1.1.1/Mon Oct 16 13:34:00 1995//THOL97
/GEN_REWRITE_CONV.doc/1.1.1.1/Mon Oct 16 13:34:00 1995//THOL97
/GEN_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:34:01 1995//THOL97
/GEN_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:34:01 1995//THOL97
/GEN_TAC.doc/1.1.1.1/Mon Oct 16 13:34:01 1995//THOL97
/GSPEC.doc/1.1.1.1/Mon Oct 16 13:34:01 1995//THOL97
/GSUBST_TAC.doc/1.1.1.1/Mon Oct 16 13:34:01 1995//THOL97
/GSYM.doc/1.1.1.1/Mon Oct 16 13:34:02 1995//THOL97
/HALF_MK_ABS.doc/1.1.1.1/Mon Oct 16 13:34:02 1995//THOL97
/I.doc/1.1.1.1/Mon Oct 16 13:34:02 1995//THOL97
/IMP_ANTISYM_RULE.doc/1.1.1.1/Mon Oct 16 13:34:02 1995//THOL97
/IMP_CANON.doc/1.1.1.1/Mon Oct 16 13:34:02 1995//THOL97
/IMP_CONJ.doc/1.1.1.1/Mon Oct 16 13:34:02 1995//THOL97
/IMP_ELIM.doc/1.1.1.1/Mon Oct 16 13:34:02 1995//THOL97
/IMP_RES_TAC.doc/1.1.1.1/Mon Oct 16 13:34:03 1995//THOL97
/IMP_RES_THEN.doc/1.1.1.1/Mon Oct 16 13:34:03 1995//THOL97
/IMP_TRANS.doc/1.1.1.1/Mon Oct 16 13:34:03 1995//THOL97
/INDUCT.doc/1.1.1.1/Mon Oct 16 13:34:03 1995//THOL97
/INDUCT_TAC.doc/1.1.1.1/Mon Oct 16 13:34:03 1995//THOL97
/INDUCT_THEN.doc/1.1.1.1/Mon Oct 16 13:34:04 1995//THOL97
/INST.doc/1.1.1.1/Mon Oct 16 13:34:04 1995//THOL97
/INST_TYPE.doc/1.1.1.1/Mon Oct 16 13:34:04 1995//THOL97
/INST_TY_TERM.doc/1.1.1.1/Mon Oct 16 13:34:04 1995//THOL97
/ISPEC.doc/1.1.1.1/Mon Oct 16 13:34:04 1995//THOL97
/ISPECL.doc/1.1.1.1/Mon Oct 16 13:34:04 1995//THOL97
/Index.doc/1.1.1.1/Mon Oct 16 13:34:05 1995//THOL97
/K.doc/1.1.1.1/Mon Oct 16 13:34:05 1995//THOL97
/KI.doc/1.1.1.1/Mon Oct 16 13:34:05 1995//THOL97
/LEFT_AND_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:34:05 1995//THOL97
/LEFT_AND_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:34:05 1995//THOL97
/LEFT_IMP_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:34:05 1995//THOL97
/LEFT_IMP_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:34:06 1995//THOL97
/LEFT_OR_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:34:06 1995//THOL97
/LEFT_OR_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:34:06 1995//THOL97
/LENGTH_CONV.doc/1.1.1.1/Mon Oct 16 13:34:06 1995//THOL97
/LIST_BETA_CONV.doc/1.1.1.1/Mon Oct 16 13:34:06 1995//THOL97
/LIST_CONJ.doc/1.1.1.1/Mon Oct 16 13:34:06 1995//THOL97
/LIST_INDUCT.doc/1.1.1.1/Mon Oct 16 13:34:07 1995//THOL97
/LIST_INDUCT_TAC.doc/1.1.1.1/Mon Oct 16 13:34:07 1995//THOL97
/LIST_MK_EXISTS.doc/1.1.1.1/Mon Oct 16 13:34:07 1995//THOL97
/LIST_MP.doc/1.1.1.1/Mon Oct 16 13:34:07 1995//THOL97
/MAP_CONV.doc/1.1.1.1/Mon Oct 16 13:34:07 1995//THOL97
/MAP_EVERY.doc/1.1.1.1/Mon Oct 16 13:34:07 1995//THOL97
/MAP_FIRST.doc/1.1.1.1/Mon Oct 16 13:34:08 1995//THOL97
/MATCH_ACCEPT_TAC.doc/1.1.1.1/Mon Oct 16 13:34:08 1995//THOL97
/MATCH_MP.doc/1.1.1.1/Mon Oct 16 13:34:08 1995//THOL97
/MATCH_MP_TAC.doc/1.1.1.1/Mon Oct 16 13:34:08 1995//THOL97
/MK_ABS.doc/1.1.1.1/Mon Oct 16 13:34:08 1995//THOL97
/MK_COMB.doc/1.1.1.1/Mon Oct 16 13:34:08 1995//THOL97
/MK_EXISTS.doc/1.1.1.1/Mon Oct 16 13:34:08 1995//THOL97
/ML_eval.doc/1.1.1.1/Mon Oct 16 13:34:09 1995//THOL97
/MP.doc/1.1.1.1/Mon Oct 16 13:34:06 1995//THOL97
/MP_TAC.doc/1.1.1.1/Mon Oct 16 13:34:09 1995//THOL97
/NEG_DISCH.doc/1.1.1.1/Mon Oct 16 13:34:09 1995//THOL97
/NOT_ELIM.doc/1.1.1.1/Mon Oct 16 13:34:09 1995//THOL97
/NOT_EQ_SYM.doc/1.1.1.1/Mon Oct 16 13:34:09 1995//THOL97
/NOT_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:34:09 1995//THOL97
/NOT_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:34:10 1995//THOL97
/NOT_INTRO.doc/1.1.1.1/Mon Oct 16 13:34:10 1995//THOL97
/NO_CONV.doc/1.1.1.1/Mon Oct 16 13:34:10 1995//THOL97
/NO_TAC.doc/1.1.1.1/Mon Oct 16 13:34:10 1995//THOL97
/NO_THEN.doc/1.1.1.1/Mon Oct 16 13:34:10 1995//THOL97
/ONCE_ASM_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:34:10 1995//THOL97
/ONCE_ASM_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:34:10 1995//THOL97
/ONCE_DEPTH_CONV.doc/1.1.1.1/Mon Oct 16 13:34:10 1995//THOL97
/ONCE_REWRITE_CONV.doc/1.1.1.1/Mon Oct 16 13:34:11 1995//THOL97
/ONCE_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:34:11 1995//THOL97
/ONCE_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:34:11 1995//THOL97
/ORELSE.doc/1.1.1.1/Mon Oct 16 13:34:11 1995//THOL97
/ORELSEC.doc/1.1.1.1/Mon Oct 16 13:34:11 1995//THOL97
/ORELSE_TCL.doc/1.1.1.1/Mon Oct 16 13:34:11 1995//THOL97
/OR_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:34:12 1995//THOL97
/OR_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:34:12 1995//THOL97
/PAIRED_BETA_CONV.doc/1.1.1.1/Mon Oct 16 13:34:12 1995//THOL97
/PAIRED_ETA_CONV.doc/1.1.1.1/Mon Oct 16 13:34:12 1995//THOL97
/PART_MATCH.doc/1.1.1.1/Mon Oct 16 13:34:12 1995//THOL97
/POP_ASSUM.doc/1.1.1.1/Mon Oct 16 13:34:12 1995//THOL97
/POP_ASSUM_LIST.doc/1.1.1.1/Mon Oct 16 13:34:12 1995//THOL97
/PROVE.doc/1.1.1.1/Mon Oct 16 13:34:13 1995//THOL97
/PROVE_HYP.doc/1.2/Wed Oct 18 16:35:48 1995//THOL97
/PURE_ASM_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:34:13 1995//THOL97
/PURE_ASM_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:34:13 1995//THOL97
/PURE_ONCE_ASM_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:34:13 1995//THOL97
/PURE_ONCE_ASM_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:34:13 1995//THOL97
/PURE_ONCE_REWRITE_CONV.doc/1.1.1.1/Mon Oct 16 13:34:14 1995//THOL97
/PURE_ONCE_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:34:14 1995//THOL97
/PURE_ONCE_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:34:14 1995//THOL97
/PURE_REWRITE_CONV.doc/1.1.1.1/Mon Oct 16 13:34:14 1995//THOL97
/PURE_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:34:14 1995//THOL97
/PURE_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:34:14 1995//THOL97
/RAND_CONV.doc/1.1.1.1/Mon Oct 16 13:34:13 1995//THOL97
/RATOR_CONV.doc/1.1.1.1/Mon Oct 16 13:34:14 1995//THOL97
/REDEPTH_CONV.doc/1.1.1.1/Mon Oct 16 13:34:15 1995//THOL97
/REFL.doc/1.1.1.1/Mon Oct 16 13:34:15 1995//THOL97
/REFL_TAC.doc/1.1.1.1/Mon Oct 16 13:34:15 1995//THOL97
/REPEAT.doc/1.1.1.1/Mon Oct 16 13:34:15 1995//THOL97
/REPEATC.doc/1.1.1.1/Mon Oct 16 13:34:15 1995//THOL97
/REPEAT_GTCL.doc/1.1.1.1/Mon Oct 16 13:34:15 1995//THOL97
/REPEAT_TCL.doc/1.1.1.1/Mon Oct 16 13:34:15 1995//THOL97
/RES_CANON.doc/1.1.1.1/Mon Oct 16 13:34:16 1995//THOL97
/RES_TAC.doc/1.1.1.1/Mon Oct 16 13:34:16 1995//THOL97
/RES_THEN.doc/1.1.1.1/Mon Oct 16 13:34:16 1995//THOL97
/REWRITE_CONV.doc/1.1.1.1/Mon Oct 16 13:34:16 1995//THOL97
/REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:34:16 1995//THOL97
/REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:34:16 1995//THOL97
/REWR_CONV.doc/1.1.1.1/Mon Oct 16 13:34:16 1995//THOL97
/RIGHT_AND_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:34:17 1995//THOL97
/RIGHT_AND_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:34:17 1995//THOL97
/RIGHT_BETA.doc/1.1.1.1/Mon Oct 16 13:34:17 1995//THOL97
/RIGHT_CONV_RULE.doc/1.1.1.1/Mon Oct 16 13:34:17 1995//THOL97
/RIGHT_IMP_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:34:18 1995//THOL97
/RIGHT_IMP_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:34:18 1995//THOL97
/RIGHT_LIST_BETA.doc/1.1.1.1/Mon Oct 16 13:34:18 1995//THOL97
/RIGHT_OR_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:34:18 1995//THOL97
/RIGHT_OR_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:34:18 1995//THOL97
/RULE_ASSUM_TAC.doc/1.1.1.1/Mon Oct 16 13:34:18 1995//THOL97
/S.doc/1.1.1.1/Mon Oct 16 13:34:18 1995//THOL97
/SELECT_CONV.doc/1.1.1.1/Mon Oct 16 13:34:19 1995//THOL97
/SELECT_ELIM.doc/1.1.1.1/Mon Oct 16 13:34:19 1995//THOL97
/SELECT_EQ.doc/1.1.1.1/Mon Oct 16 13:34:19 1995//THOL97
/SELECT_INTRO.doc/1.1.1.1/Mon Oct 16 13:34:19 1995//THOL97
/SELECT_RULE.doc/1.1.1.1/Mon Oct 16 13:34:19 1995//THOL97
/SKOLEM_CONV.doc/1.1.1.1/Mon Oct 16 13:34:19 1995//THOL97
/SPEC.doc/1.1.1.1/Mon Oct 16 13:34:19 1995//THOL97
/SPECL.doc/1.1.1.1/Mon Oct 16 13:34:20 1995//THOL97
/SPEC_ALL.doc/1.1.1.1/Mon Oct 16 13:34:20 1995//THOL97
/SPEC_TAC.doc/1.1.1.1/Mon Oct 16 13:34:20 1995//THOL97
/SPEC_VAR.doc/1.1.1.1/Mon Oct 16 13:34:20 1995//THOL97
/STRIP_ASSUME_TAC.doc/1.1.1.1/Mon Oct 16 13:34:20 1995//THOL97
/STRIP_GOAL_THEN.doc/1.1.1.1/Mon Oct 16 13:34:20 1995//THOL97
/STRIP_TAC.doc/1.1.1.1/Mon Oct 16 13:34:20 1995//THOL97
/STRIP_THM_THEN.doc/1.1.1.1/Mon Oct 16 13:34:21 1995//THOL97
/STRUCT_CASES_TAC.doc/1.1.1.1/Mon Oct 16 13:34:21 1995//THOL97
/SUBGOAL_THEN.doc/1.1.1.1/Mon Oct 16 13:34:21 1995//THOL97
/SUBS.doc/1.1.1.1/Mon Oct 16 13:34:21 1995//THOL97
/SUBST.doc/1.1.1.1/Mon Oct 16 13:34:21 1995//THOL97
/SUBST1_TAC.doc/1.1.1.1/Mon Oct 16 13:34:22 1995//THOL97
/SUBST_ALL_TAC.doc/1.1.1.1/Mon Oct 16 13:34:22 1995//THOL97
/SUBST_CONV.doc/1.1.1.1/Mon Oct 16 13:34:22 1995//THOL97
/SUBST_MATCH.doc/1.1.1.1/Mon Oct 16 13:34:22 1995//THOL97
/SUBST_OCCS_TAC.doc/1.1.1.1/Mon Oct 16 13:34:22 1995//THOL97
/SUBST_TAC.doc/1.1.1.1/Mon Oct 16 13:34:22 1995//THOL97
/SUBS_OCCS.doc/1.1.1.1/Mon Oct 16 13:34:23 1995//THOL97
/SUB_CONV.doc/1.1.1.1/Mon Oct 16 13:34:23 1995//THOL97
/SWAP_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:34:23 1995//THOL97
/SYM.doc/1.1.1.1/Mon Oct 16 13:34:23 1995//THOL97
/SYM_CONV.doc/1.1.1.1/Mon Oct 16 13:34:23 1995//THOL97
/TAC_PROOF.doc/1.1.1.1/Mon Oct 16 13:34:23 1995//THOL97
/THEN.doc/1.1.1.1/Mon Oct 16 13:34:24 1995//THOL97
/THENC.doc/1.1.1.1/Mon Oct 16 13:34:24 1995//THOL97
/THENL.doc/1.1.1.1/Mon Oct 16 13:34:24 1995//THOL97
/THEN_TCL.doc/1.1.1.1/Mon Oct 16 13:34:24 1995//THOL97
/TOP_DEPTH_CONV.doc/1.1.1.1/Mon Oct 16 13:34:24 1995//THOL97
/TRANS.doc/1.1.1.1/Mon Oct 16 13:34:24 1995//THOL97
/TRY.doc/1.1.1.1/Mon Oct 16 13:34:24 1995//THOL97
/TRY_CONV.doc/1.1.1.1/Mon Oct 16 13:34:25 1995//THOL97
/UNDISCH.doc/1.1.1.1/Mon Oct 16 13:34:25 1995//THOL97
/UNDISCH_ALL.doc/1.1.1.1/Mon Oct 16 13:34:25 1995//THOL97
/UNDISCH_TAC.doc/1.1.1.1/Mon Oct 16 13:34:25 1995//THOL97
/VALID.doc/1.1.1.1/Mon Oct 16 13:34:25 1995//THOL97
/W.doc/1.1.1.1/Mon Oct 16 13:34:25 1995//THOL97
/X_CASES_THEN.doc/1.1.1.1/Mon Oct 16 13:34:25 1995//THOL97
/X_CASES_THENL.doc/1.1.1.1/Mon Oct 16 13:34:25 1995//THOL97
/X_CHOOSE_TAC.doc/1.1.1.1/Mon Oct 16 13:34:26 1995//THOL97
/X_CHOOSE_THEN.doc/1.1.1.1/Mon Oct 16 13:34:26 1995//THOL97
/X_FUN_EQ_CONV.doc/1.1.1.1/Mon Oct 16 13:34:26 1995//THOL97
/X_GEN_TAC.doc/1.1.1.1/Mon Oct 16 13:34:26 1995//THOL97
/X_SKOLEM_CONV.doc/1.1.1.1/Mon Oct 16 13:34:26 1995//THOL97
/abs_goals.doc/1.1.1.1/Mon Oct 16 13:34:26 1995//THOL97
/achieve_first.doc/1.1.1.1/Mon Oct 16 13:34:27 1995//THOL97
/achieves.doc/1.1.1.1/Mon Oct 16 13:34:27 1995//THOL97
/aconv.doc/1.1.1.1/Mon Oct 16 13:34:27 1995//THOL97
/activate_all_binders.doc/1.1.1.1/Mon Oct 16 13:34:27 1995//THOL97
/activate_binders.doc/1.1.1.1/Mon Oct 16 13:34:27 1995//THOL97
/allowed_constant.doc/1.1.1.1/Mon Oct 16 13:34:27 1995//THOL97
/ancestors.doc/1.1.1.1/Mon Oct 16 13:34:28 1995//THOL97
/ancestry.doc/1.1.1.1/Mon Oct 16 13:34:28 1995//THOL97
/append.doc/1.1.1.1/Mon Oct 16 13:34:28 1995//THOL97
/append_openw.doc/1.1.1.1/Mon Oct 16 13:34:28 1995//THOL97
/apply_proof.doc/1.1.1.1/Mon Oct 16 13:34:28 1995//THOL97
/arb_term.doc/1.1.1.1/Mon Oct 16 13:34:28 1995//THOL97
/arity.doc/1.1.1.1/Mon Oct 16 13:34:28 1995//THOL97
/ascii.doc/1.1.1.1/Mon Oct 16 13:34:29 1995//THOL97
/ascii_code.doc/1.1.1.1/Mon Oct 16 13:34:29 1995//THOL97
/assert.doc/1.1.1.1/Mon Oct 16 13:34:29 1995//THOL97
/assignable_print_term.doc/1.1.1.1/Mon Oct 16 13:34:29 1995//THOL97
/assoc.doc/1.1.1.1/Mon Oct 16 13:34:29 1995//THOL97
/associate_restriction.doc/1.1.1.1/Mon Oct 16 13:34:29 1995//THOL97
/attempt_first.doc/1.1.1.1/Mon Oct 16 13:34:29 1995//THOL97
/autoload.doc/1.1.1.1/Mon Oct 16 13:34:30 1995//THOL97
/autoload_theory.doc/1.1.1.1/Mon Oct 16 13:34:30 1995//THOL97
/axiom.doc/1.1.1.1/Mon Oct 16 13:34:30 1995//THOL97
/axiom_lfn.doc/1.1.1.1/Mon Oct 16 13:34:30 1995//THOL97
/axiom_msg_lfn.doc/1.1.1.1/Mon Oct 16 13:34:30 1995//THOL97
/axioms.doc/1.1.1.1/Mon Oct 16 13:34:30 1995//THOL97
/b.doc/1.1.1.1/Mon Oct 16 13:34:30 1995//THOL97
/backup.doc/1.1.1.1/Mon Oct 16 13:34:31 1995//THOL97
/backup_limit.doc/1.1.1.1/Mon Oct 16 13:34:31 1995//THOL97
/backup_list.doc/1.1.1.1/Mon Oct 16 13:34:31 1995//THOL97
/basic_rewrites.doc/1.1.1.1/Mon Oct 16 13:34:31 1995//THOL97
/binders.doc/1.1.1.1/Mon Oct 16 13:34:31 1995//THOL97
/bndvar.doc/1.1.1.1/Mon Oct 16 13:34:31 1995//THOL97
/body.doc/1.1.1.1/Mon Oct 16 13:34:32 1995//THOL97
/bool_EQ_CONV.doc/1.1.1.1/Mon Oct 16 13:34:32 1995//THOL97
/bool_ty.doc/1.1.1.1/Mon Oct 16 13:34:32 1995//THOL97
/butlast.doc/1.1.1.1/Mon Oct 16 13:34:32 1995//THOL97
/cached_theories.doc/1.1.1.1/Mon Oct 16 13:34:32 1995//THOL97
/can.doc/1.1.1.1/Mon Oct 16 13:34:32 1995//THOL97
/change_state.doc/1.1.1.1/Mon Oct 16 13:34:32 1995//THOL97
/check_lhs.doc/1.1.1.1/Mon Oct 16 13:34:33 1995//THOL97
/check_specification.doc/1.1.1.1/Mon Oct 16 13:34:33 1995//THOL97
/check_valid.doc/1.1.1.1/Mon Oct 16 13:34:33 1995//THOL97
/check_varstruct.doc/1.1.1.1/Mon Oct 16 13:34:33 1995//THOL97
/chktac.doc/1.1.1.1/Mon Oct 16 13:34:33 1995//THOL97
/chop_list.doc/1.1.1.1/Mon Oct 16 13:34:34 1995//THOL97
/close.doc/1.1.1.1/Mon Oct 16 13:34:34 1995//THOL97
/close_theory.doc/1.1.1.1/Mon Oct 16 13:34:34 1995//THOL97
/com.doc/1.1.1.1/Mon Oct 16 13:34:34 1995//THOL97
/combine.doc/1.1.1.1/Mon Oct 16 13:34:34 1995//THOL97
/compile.doc/1.1.1.1/Mon Oct 16 13:34:34 1995//THOL97
/compilef.doc/1.1.1.1/Mon Oct 16 13:34:34 1995//THOL97
/compilet.doc/1.1.1.1/Mon Oct 16 13:34:35 1995//THOL97
/compiling.doc/1.1.1.1/Mon Oct 16 13:34:35 1995//THOL97
/compiling_stack.doc/1.1.1.1/Mon Oct 16 13:34:35 1995//THOL97
/concat.doc/1.1.1.1/Mon Oct 16 13:34:35 1995//THOL97
/concatl.doc/1.1.1.1/Mon Oct 16 13:34:35 1995//THOL97
/concl.doc/1.1.1.1/Mon Oct 16 13:34:35 1995//THOL97
/conjuncts.doc/1.1.1.1/Mon Oct 16 13:34:35 1995//THOL97
/constants.doc/1.1.1.1/Mon Oct 16 13:34:36 1995//THOL97
/current_theory.doc/1.1.1.1/Mon Oct 16 13:34:36 1995//THOL97
/curry.doc/1.1.1.1/Mon Oct 16 13:34:36 1995//THOL97
/define_finite_set_syntax.doc/1.1.1.1/Mon Oct 16 13:34:36 1995//THOL97
/define_new_type_bijections.doc/1.1.1.1/Mon Oct 16 13:34:36 1995//THOL97
/define_set_abstraction_syntax.doc/1.1.1.1/Mon Oct 16 13:34:36 1995//THOL97
/define_type.doc/1.1.1.1/Mon Oct 16 13:34:37 1995//THOL97
/definition.doc/1.1.1.1/Mon Oct 16 13:34:37 1995//THOL97
/definition_lfn.doc/1.1.1.1/Mon Oct 16 13:34:37 1995//THOL97
/definition_msg_lfn.doc/1.1.1.1/Mon Oct 16 13:34:37 1995//THOL97
/definitions.doc/1.1.1.1/Mon Oct 16 13:34:37 1995//THOL97
/delete_cache.doc/1.1.1.1/Mon Oct 16 13:34:37 1995//THOL97
/delete_thm.doc/1.1.1.1/Mon Oct 16 13:34:37 1995//THOL97
/dest_abs.doc/1.1.1.1/Mon Oct 16 13:34:38 1995//THOL97
/dest_comb.doc/1.1.1.1/Mon Oct 16 13:34:38 1995//THOL97
/dest_cond.doc/1.1.1.1/Mon Oct 16 13:34:38 1995//THOL97
/dest_conj.doc/1.1.1.1/Mon Oct 16 13:34:38 1995//THOL97
/dest_cons.doc/1.1.1.1/Mon Oct 16 13:34:39 1995//THOL97
/dest_const.doc/1.1.1.1/Mon Oct 16 13:34:39 1995//THOL97
/dest_definition.doc/1.1.1.1/Mon Oct 16 13:34:39 1995//THOL97
/dest_disj.doc/1.1.1.1/Mon Oct 16 13:34:39 1995//THOL97
/dest_eq.doc/1.1.1.1/Mon Oct 16 13:34:38 1995//THOL97
/dest_exists.doc/1.1.1.1/Mon Oct 16 13:34:39 1995//THOL97
/dest_forall.doc/1.1.1.1/Mon Oct 16 13:34:39 1995//THOL97
/dest_form.doc/1.1.1.1/Mon Oct 16 13:34:39 1995//THOL97
/dest_imp.doc/1.1.1.1/Mon Oct 16 13:34:40 1995//THOL97
/dest_let.doc/1.1.1.1/Mon Oct 16 13:34:40 1995//THOL97
/dest_list.doc/1.1.1.1/Mon Oct 16 13:34:40 1995//THOL97
/dest_neg.doc/1.1.1.1/Mon Oct 16 13:34:40 1995//THOL97
/dest_pabs.doc/1.1.1.1/Mon Oct 16 13:34:40 1995//THOL97
/dest_pair.doc/1.1.1.1/Mon Oct 16 13:34:40 1995//THOL97
/dest_pred.doc/1.1.1.1/Mon Oct 16 13:34:41 1995//THOL97
/dest_select.doc/1.1.1.1/Mon Oct 16 13:34:41 1995//THOL97
/dest_thm.doc/1.1.1.1/Mon Oct 16 13:34:41 1995//THOL97
/dest_type.doc/1.1.1.1/Mon Oct 16 13:34:41 1995//THOL97
/dest_var.doc/1.1.1.1/Mon Oct 16 13:34:41 1995//THOL97
/dest_vartype.doc/1.1.1.1/Mon Oct 16 13:34:41 1995//THOL97
/disch.doc/1.1.1.1/Mon Oct 16 13:34:41 1995//THOL97
/disjuncts.doc/1.1.1.1/Mon Oct 16 13:34:42 1995//THOL97
/distinct.doc/1.1.1.1/Mon Oct 16 13:34:42 1995//THOL97
/do.doc/1.1.1.1/Mon Oct 16 13:34:40 1995//THOL97
/draft_mode.doc/1.1.1.1/Mon Oct 16 13:34:42 1995//THOL97
/dropout.doc/1.1.1.1/Mon Oct 16 13:34:42 1995//THOL97
/e.doc/1.1.1.1/Mon Oct 16 13:34:42 1995//THOL97
/el.doc/1.1.1.1/Mon Oct 16 13:34:42 1995//THOL97
/end_itlist.doc/1.1.1.1/Mon Oct 16 13:34:43 1995//THOL97
/enter_form_rep.doc/1.1.1.1/Mon Oct 16 13:34:43 1995//THOL97
/enter_term.doc/1.1.1.1/Mon Oct 16 13:34:43 1995//THOL97
/enter_term_rep.doc/1.1.1.1/Mon Oct 16 13:34:43 1995//THOL97
/exists.doc/1.1.1.1/Mon Oct 16 13:34:43 1995//THOL97
/expand.doc/1.1.1.1/Mon Oct 16 13:34:43 1995//THOL97
/expandf.doc/1.1.1.1/Mon Oct 16 13:34:43 1995//THOL97
/explode.doc/1.1.1.1/Mon Oct 16 13:34:44 1995//THOL97
/extend_theory.doc/1.1.1.1/Mon Oct 16 13:34:44 1995//THOL97
/falsity.doc/1.1.1.1/Mon Oct 16 13:34:44 1995//THOL97
/fast_arith.doc/1.1.1.1/Mon Oct 16 13:34:44 1995//THOL97
/filter.doc/1.1.1.1/Mon Oct 16 13:34:44 1995//THOL97
/find.doc/1.1.1.1/Mon Oct 16 13:34:45 1995//THOL97
/find_file.doc/1.1.1.1/Mon Oct 16 13:34:45 1995//THOL97
/find_match.doc/1.1.1.1/Mon Oct 16 13:34:45 1995//THOL97
/find_ml_file.doc/1.1.1.1/Mon Oct 16 13:34:45 1995//THOL97
/find_term.doc/1.1.1.1/Mon Oct 16 13:34:45 1995//THOL97
/find_terms.doc/1.1.1.1/Mon Oct 16 13:34:46 1995//THOL97
/find_theory.doc/1.1.1.1/Mon Oct 16 13:34:46 1995//THOL97
/flags.doc/1.1.1.1/Mon Oct 16 13:34:46 1995//THOL97
/flat.doc/1.1.1.1/Mon Oct 16 13:34:46 1995//THOL97
/forall.doc/1.1.1.1/Mon Oct 16 13:34:46 1995//THOL97
/free_in.doc/1.1.1.1/Mon Oct 16 13:34:47 1995//THOL97
/frees.doc/1.1.1.1/Mon Oct 16 13:34:47 1995//THOL97
/freesl.doc/1.1.1.1/Mon Oct 16 13:34:47 1995//THOL97
/fst.doc/1.1.1.1/Mon Oct 16 13:34:46 1995//THOL97
/funpow.doc/1.1.1.1/Mon Oct 16 13:34:47 1995//THOL97
/g.doc/1.1.1.1/Mon Oct 16 13:34:47 1995//THOL97
/genvar.doc/1.1.1.1/Mon Oct 16 13:34:47 1995//THOL97
/get_const_type.doc/1.1.1.1/Mon Oct 16 13:34:48 1995//THOL97
/get_flag_value.doc/1.1.1.1/Mon Oct 16 13:34:48 1995//THOL97
/get_state.doc/1.1.1.1/Mon Oct 16 13:34:48 1995//THOL97
/get_type.doc/1.1.1.1/Mon Oct 16 13:34:48 1995//THOL97
/getenv.doc/1.1.1.1/Mon Oct 16 13:34:48 1995//THOL97
/goals.doc/1.1.1.1/Mon Oct 16 13:34:48 1995//THOL97
/hd.doc/1.1.1.1/Mon Oct 16 13:34:48 1995//THOL97
/help.doc/1.1.1.1/Mon Oct 16 13:34:48 1995//THOL97
/help_search_path.doc/1.1.1.1/Mon Oct 16 13:34:49 1995//THOL97
/hide_constant.doc/1.1.1.1/Mon Oct 16 13:34:49 1995//THOL97
/hol_pathname.doc/1.1.1.1/Mon Oct 16 13:34:49 1995//THOL97
/host_name.doc/1.1.1.1/Mon Oct 16 13:34:49 1995//THOL97
/hyp.doc/1.1.1.1/Mon Oct 16 13:34:49 1995//THOL97
/hyp_union.doc/1.1.1.1/Mon Oct 16 13:34:49 1995//THOL97
/implode.doc/1.1.1.1/Mon Oct 16 13:34:50 1995//THOL97
/infixes.doc/1.1.1.1/Mon Oct 16 13:34:50 1995//THOL97
/inject_input.doc/1.1.1.1/Mon Oct 16 13:34:50 1995//THOL97
/inl.doc/1.1.1.1/Mon Oct 16 13:34:50 1995//THOL97
/inr.doc/1.1.1.1/Mon Oct 16 13:34:50 1995//THOL97
/inst.doc/1.1.1.1/Mon Oct 16 13:34:50 1995//THOL97
/inst_check.doc/1.1.1.1/Mon Oct 16 13:34:50 1995//THOL97
/inst_rename_list.doc/1.1.1.1/Mon Oct 16 13:34:51 1995//THOL97
/inst_type.doc/1.1.1.1/Mon Oct 16 13:34:51 1995//THOL97
/install.doc/1.1.1.1/Mon Oct 16 13:34:51 1995//THOL97
/int_of_string.doc/1.1.1.1/Mon Oct 16 13:34:51 1995//THOL97
/interface_map.doc/1.1.1.1/Mon Oct 16 13:34:51 1995//THOL97
/intersect.doc/1.1.1.1/Mon Oct 16 13:34:51 1995//THOL97
/is_abs.doc/1.1.1.1/Mon Oct 16 13:34:52 1995//THOL97
/is_alphanum.doc/1.1.1.1/Mon Oct 16 13:34:52 1995//THOL97
/is_axiom.doc/1.1.1.1/Mon Oct 16 13:34:52 1995//THOL97
/is_binder.doc/1.1.1.1/Mon Oct 16 13:34:52 1995//THOL97
/is_binder_type.doc/1.1.1.1/Mon Oct 16 13:34:52 1995//THOL97
/is_comb.doc/1.1.1.1/Mon Oct 16 13:34:52 1995//THOL97
/is_cond.doc/1.1.1.1/Mon Oct 16 13:34:52 1995//THOL97
/is_conj.doc/1.1.1.1/Mon Oct 16 13:34:53 1995//THOL97
/is_cons.doc/1.1.1.1/Mon Oct 16 13:34:53 1995//THOL97
/is_const.doc/1.1.1.1/Mon Oct 16 13:34:53 1995//THOL97
/is_constant.doc/1.1.1.1/Mon Oct 16 13:34:53 1995//THOL97
/is_definition.doc/1.1.1.1/Mon Oct 16 13:34:53 1995//THOL97
/is_disj.doc/1.1.1.1/Mon Oct 16 13:34:53 1995//THOL97
/is_eq.doc/1.1.1.1/Mon Oct 16 13:34:53 1995//THOL97
/is_exists.doc/1.1.1.1/Mon Oct 16 13:34:54 1995//THOL97
/is_forall.doc/1.1.1.1/Mon Oct 16 13:34:54 1995//THOL97
/is_hidden.doc/1.1.1.1/Mon Oct 16 13:34:54 1995//THOL97
/is_imp.doc/1.1.1.1/Mon Oct 16 13:34:54 1995//THOL97
/is_infix.doc/1.1.1.1/Mon Oct 16 13:34:54 1995//THOL97
/is_infix_type.doc/1.1.1.1/Mon Oct 16 13:34:54 1995//THOL97
/is_let.doc/1.1.1.1/Mon Oct 16 13:34:54 1995//THOL97
/is_letter.doc/1.1.1.1/Mon Oct 16 13:34:55 1995//THOL97
/is_list.doc/1.1.1.1/Mon Oct 16 13:34:55 1995//THOL97
/is_ml_curried_infix.doc/1.1.1.1/Mon Oct 16 13:34:55 1995//THOL97
/is_ml_infix.doc/1.1.1.1/Mon Oct 16 13:34:55 1995//THOL97
/is_ml_paired_infix.doc/1.1.1.1/Mon Oct 16 13:34:55 1995//THOL97
/is_neg.doc/1.1.1.1/Mon Oct 16 13:34:55 1995//THOL97
/is_pabs.doc/1.1.1.1/Mon Oct 16 13:34:55 1995//THOL97
/is_pair.doc/1.1.1.1/Mon Oct 16 13:34:56 1995//THOL97
/is_pred.doc/1.1.1.1/Mon Oct 16 13:34:56 1995//THOL97
/is_select.doc/1.1.1.1/Mon Oct 16 13:34:56 1995//THOL97
/is_type.doc/1.1.1.1/Mon Oct 16 13:34:56 1995//THOL97
/is_var.doc/1.1.1.1/Mon Oct 16 13:34:56 1995//THOL97
/is_vartype.doc/1.1.1.1/Mon Oct 16 13:34:56 1995//THOL97
/isl.doc/1.1.1.1/Mon Oct 16 13:34:56 1995//THOL97
/it.doc/1.1.1.1/Mon Oct 16 13:34:57 1995//THOL97
/itlist.doc/1.1.1.1/Mon Oct 16 13:34:57 1995//THOL97
/itlist2.doc/1.1.1.1/Mon Oct 16 13:34:57 1995//THOL97
/last.doc/1.1.1.1/Mon Oct 16 13:34:57 1995//THOL97
/length.doc/1.1.1.1/Mon Oct 16 13:34:57 1995//THOL97
/let_CONV.doc/1.1.1.1/Mon Oct 16 13:34:57 1995//THOL97
/let_after.doc/1.1.1.1/Mon Oct 16 13:34:57 1995//THOL97
/let_before.doc/1.1.1.1/Mon Oct 16 13:34:58 1995//THOL97
/lhs.doc/1.1.1.1/Mon Oct 16 13:34:58 1995//THOL97
/libraries.doc/1.1.1.1/Mon Oct 16 13:34:58 1995//THOL97
/library_pathname.doc/1.1.1.1/Mon Oct 16 13:34:58 1995//THOL97
/library_search_path.doc/1.1.1.1/Mon Oct 16 13:34:58 1995//THOL97
/link.doc/1.1.1.1/Mon Oct 16 13:34:58 1995//THOL97
/lisp.doc/1.1.1.1/Mon Oct 16 13:34:59 1995//THOL97
/lisp_dir_pathname.doc/1.1.1.1/Mon Oct 16 13:34:59 1995//THOL97
/list_EQ_CONV.doc/1.1.1.1/Mon Oct 16 13:34:59 1995//THOL97
/list_mk_abs.doc/1.1.1.1/Mon Oct 16 13:35:00 1995//THOL97
/list_mk_comb.doc/1.1.1.1/Mon Oct 16 13:35:00 1995//THOL97
/list_mk_conj.doc/1.1.1.1/Mon Oct 16 13:35:00 1995//THOL97
/list_mk_disj.doc/1.1.1.1/Mon Oct 16 13:35:00 1995//THOL97
/list_mk_exists.doc/1.1.1.1/Mon Oct 16 13:35:00 1995//THOL97
/list_mk_forall.doc/1.1.1.1/Mon Oct 16 13:35:01 1995//THOL97
/list_mk_imp.doc/1.1.1.1/Mon Oct 16 13:35:01 1995//THOL97
/list_mk_pair.doc/1.1.1.1/Mon Oct 16 13:35:01 1995//THOL97
/list_of_binders.doc/1.1.1.1/Mon Oct 16 13:35:01 1995//THOL97
/load.doc/1.1.1.1/Mon Oct 16 13:35:01 1995//THOL97
/load_axiom.doc/1.1.1.1/Mon Oct 16 13:35:01 1995//THOL97
/load_axioms.doc/1.1.1.1/Mon Oct 16 13:35:01 1995//THOL97
/load_definition.doc/1.1.1.1/Mon Oct 16 13:35:02 1995//THOL97
/load_definitions.doc/1.1.1.1/Mon Oct 16 13:35:02 1995//THOL97
/load_library.doc/1.1.1.1/Mon Oct 16 13:35:02 1995//THOL97
/load_theorem.doc/1.1.1.1/Mon Oct 16 13:35:02 1995//THOL97
/load_theorems.doc/1.1.1.1/Mon Oct 16 13:35:02 1995//THOL97
/load_theory.doc/1.1.1.1/Mon Oct 16 13:35:02 1995//THOL97
/loadf.doc/1.1.1.1/Mon Oct 16 13:35:03 1995//THOL97
/loadt.doc/1.1.1.1/Mon Oct 16 13:35:03 1995//THOL97
/lookup_form_rep.doc/1.1.1.1/Mon Oct 16 13:35:03 1995//THOL97
/lookup_term.doc/1.1.1.1/Mon Oct 16 13:35:03 1995//THOL97
/lookup_term_rep.doc/1.1.1.1/Mon Oct 16 13:35:04 1995//THOL97
/lsp.doc/1.1.1.1/Mon Oct 16 13:35:04 1995//THOL97
/map.doc/1.1.1.1/Mon Oct 16 13:35:04 1995//THOL97
/map2.doc/1.1.1.1/Mon Oct 16 13:35:04 1995//THOL97
/mapfilter.doc/1.1.1.1/Mon Oct 16 13:35:04 1995//THOL97
/maptok.doc/1.1.1.1/Mon Oct 16 13:35:04 1995//THOL97
/match.doc/1.1.1.1/Mon Oct 16 13:35:04 1995//THOL97
/max_print_depth.doc/1.1.1.1/Mon Oct 16 13:35:05 1995//THOL97
/mem.doc/1.1.1.1/Mon Oct 16 13:35:05 1995//THOL97
/merge_nets_rep.doc/1.1.1.1/Mon Oct 16 13:35:05 1995//THOL97
/merge_term_nets.doc/1.1.1.1/Mon Oct 16 13:35:05 1995//THOL97
/message.doc/1.1.1.1/Mon Oct 16 13:35:05 1995//THOL97
/mk_abs.doc/1.1.1.1/Mon Oct 16 13:35:05 1995//THOL97
/mk_comb.doc/1.1.1.1/Mon Oct 16 13:35:05 1995//THOL97
/mk_cond.doc/1.1.1.1/Mon Oct 16 13:35:06 1995//THOL97
/mk_conj.doc/1.1.1.1/Mon Oct 16 13:35:06 1995//THOL97
/mk_cons.doc/1.1.1.1/Mon Oct 16 13:35:06 1995//THOL97
/mk_const.doc/1.1.1.1/Mon Oct 16 13:35:06 1995//THOL97
/mk_conv_net.doc/1.1.1.1/Mon Oct 16 13:35:06 1995//THOL97
/mk_definition.doc/1.1.1.1/Mon Oct 16 13:35:06 1995//THOL97
/mk_disj.doc/1.1.1.1/Mon Oct 16 13:35:06 1995//THOL97
/mk_eq.doc/1.1.1.1/Mon Oct 16 13:35:07 1995//THOL97
/mk_exists.doc/1.1.1.1/Mon Oct 16 13:35:07 1995//THOL97
/mk_forall.doc/1.1.1.1/Mon Oct 16 13:35:07 1995//THOL97
/mk_form.doc/1.1.1.1/Mon Oct 16 13:35:07 1995//THOL97
/mk_imp.doc/1.1.1.1/Mon Oct 16 13:35:07 1995//THOL97
/mk_let.doc/1.1.1.1/Mon Oct 16 13:35:07 1995//THOL97
/mk_list.doc/1.1.1.1/Mon Oct 16 13:35:08 1995//THOL97
/mk_neg.doc/1.1.1.1/Mon Oct 16 13:35:08 1995//THOL97
/mk_pabs.doc/1.1.1.1/Mon Oct 16 13:35:08 1995//THOL97
/mk_pair.doc/1.1.1.1/Mon Oct 16 13:35:08 1995//THOL97
/mk_pp_thm.doc/1.1.1.1/Mon Oct 16 13:35:08 1995//THOL97
/mk_pred.doc/1.1.1.1/Mon Oct 16 13:35:08 1995//THOL97
/mk_primed_var.doc/1.1.1.1/Mon Oct 16 13:35:08 1995//THOL97
/mk_select.doc/1.1.1.1/Mon Oct 16 13:35:08 1995//THOL97
/mk_thm.doc/1.1.1.1/Mon Oct 16 13:35:09 1995//THOL97
/mk_type.doc/1.1.1.1/Mon Oct 16 13:35:09 1995//THOL97
/mk_var.doc/1.1.1.1/Mon Oct 16 13:35:09 1995//THOL97
/mk_vartype.doc/1.1.1.1/Mon Oct 16 13:35:09 1995//THOL97
/ml_curried_infix.doc/1.1.1.1/Mon Oct 16 13:35:09 1995//THOL97
/ml_dir_pathname.doc/1.1.1.1/Mon Oct 16 13:35:09 1995//THOL97
/ml_paired_infix.doc/1.1.1.1/Mon Oct 16 13:35:09 1995//THOL97
/n_strip_quant.doc/1.1.1.1/Mon Oct 16 13:35:10 1995//THOL97
/new_alphanum.doc/1.1.1.1/Mon Oct 16 13:35:10 1995//THOL97
/new_axiom.doc/1.1.1.1/Mon Oct 16 13:35:10 1995//THOL97
/new_binder.doc/1.1.1.1/Mon Oct 16 13:35:10 1995//THOL97
/new_binder_definition.doc/1.1.1.1/Mon Oct 16 13:35:10 1995//THOL97
/new_constant.doc/1.1.1.1/Mon Oct 16 13:35:10 1995//THOL97
/new_definition.doc/1.1.1.1/Mon Oct 16 13:35:10 1995//THOL97
/new_flag.doc/1.1.1.1/Mon Oct 16 13:35:11 1995//THOL97
/new_gen_definition.doc/1.1.1.1/Mon Oct 16 13:35:11 1995//THOL97
/new_infix.doc/1.1.1.1/Mon Oct 16 13:35:11 1995//THOL97
/new_infix_definition.doc/1.1.1.1/Mon Oct 16 13:35:11 1995//THOL97
/new_infix_list_rec_definition.doc/1.1.1.1/Mon Oct 16 13:35:11 1995//THOL97
/new_infix_prim_rec_definition.doc/1.1.1.1/Mon Oct 16 13:35:11 1995//THOL97
/new_letter.doc/1.1.1.1/Mon Oct 16 13:35:12 1995//THOL97
/new_list_rec_definition.doc/1.1.1.1/Mon Oct 16 13:35:12 1995//THOL97
/new_open_axiom.doc/1.1.1.1/Mon Oct 16 13:35:12 1995//THOL97
/new_parent.doc/1.1.1.1/Mon Oct 16 13:35:12 1995//THOL97
/new_predicate.doc/1.1.1.1/Mon Oct 16 13:35:12 1995//THOL97
/new_prim_rec_definition.doc/1.1.1.1/Mon Oct 16 13:35:12 1995//THOL97
/new_recursive_definition.doc/1.1.1.1/Mon Oct 16 13:35:12 1995//THOL97
/new_special_symbol.doc/1.1.1.1/Mon Oct 16 13:35:13 1995//THOL97
/new_specification.doc/1.1.1.1/Mon Oct 16 13:35:13 1995//THOL97
/new_stack.doc/1.1.1.1/Mon Oct 16 13:35:13 1995//THOL97
/new_syntax_block.doc/1.1.1.1/Mon Oct 16 13:35:13 1995//THOL97
/new_theory.doc/1.1.1.1/Mon Oct 16 13:35:13 1995//THOL97
/new_type.doc/1.1.1.1/Mon Oct 16 13:35:13 1995//THOL97
/new_type_abbrev.doc/1.1.1.1/Mon Oct 16 13:35:14 1995//THOL97
/new_type_definition.doc/1.1.1.1/Mon Oct 16 13:35:14 1995//THOL97
/nil_term_net.doc/1.1.1.1/Mon Oct 16 13:35:14 1995//THOL97
/not.doc/1.1.1.1/Mon Oct 16 13:35:07 1995//THOL97
/null.doc/1.1.1.1/Mon Oct 16 13:35:13 1995//THOL97
/num_CONV.doc/1.1.1.1/Mon Oct 16 13:35:14 1995//THOL97
/num_EQ_CONV.doc/1.1.1.1/Mon Oct 16 13:35:14 1995//THOL97
/o.doc/1.1.1.1/Mon Oct 16 13:35:14 1995//THOL97
/oo.doc/1.1.1.1/Mon Oct 16 13:35:14 1995//THOL97
/openi.doc/1.1.1.1/Mon Oct 16 13:35:15 1995//THOL97
/openw.doc/1.1.1.1/Mon Oct 16 13:35:15 1995//THOL97
/outl.doc/1.1.1.1/Mon Oct 16 13:35:15 1995//THOL97
/outr.doc/1.1.1.1/Mon Oct 16 13:35:15 1995//THOL97
/p.doc/1.1.1.1/Mon Oct 16 13:35:15 1995//THOL97
/pair.doc/1.1.1.1/Mon Oct 16 13:35:15 1995//THOL97
/paired_delete_thm.doc/1.1.1.1/Mon Oct 16 13:35:15 1995//THOL97
/paired_new_type.doc/1.1.1.1/Mon Oct 16 13:35:16 1995//THOL97
/paired_theorem.doc/1.1.1.1/Mon Oct 16 13:35:16 1995//THOL97
/parents.doc/1.1.1.1/Mon Oct 16 13:35:16 1995//THOL97
/parse_as_binder.doc/1.1.1.1/Mon Oct 16 13:35:16 1995//THOL97
/partition.doc/1.1.1.1/Mon Oct 16 13:35:16 1995//THOL97
/pop_proofs.doc/1.1.1.1/Mon Oct 16 13:35:16 1995//THOL97
/pop_proofs_print.doc/1.1.1.1/Mon Oct 16 13:35:17 1995//THOL97
/pp_axiom.doc/1.1.1.1/Mon Oct 16 13:35:17 1995//THOL97
/preterm_abs.doc/1.1.1.1/Mon Oct 16 13:35:17 1995//THOL97
/preterm_antiquot.doc/1.1.1.1/Mon Oct 16 13:35:17 1995//THOL97
/preterm_comb.doc/1.1.1.1/Mon Oct 16 13:35:17 1995//THOL97
/preterm_const.doc/1.1.1.1/Mon Oct 16 13:35:17 1995//THOL97
/preterm_to_term.doc/1.1.1.1/Mon Oct 16 13:35:18 1995//THOL97
/preterm_typed.doc/1.1.1.1/Mon Oct 16 13:35:18 1995//THOL97
/preterm_var.doc/1.1.1.1/Mon Oct 16 13:35:18 1995//THOL97
/print_all_thm.doc/1.1.1.1/Mon Oct 16 13:35:18 1995//THOL97
/print_begin.doc/1.1.1.1/Mon Oct 16 13:35:18 1995//THOL97
/print_bool.doc/1.1.1.1/Mon Oct 16 13:35:18 1995//THOL97
/print_break.doc/1.1.1.1/Mon Oct 16 13:35:19 1995//THOL97
/print_defined_types.doc/1.1.1.1/Mon Oct 16 13:35:19 1995//THOL97
/print_end.doc/1.1.1.1/Mon Oct 16 13:35:19 1995//THOL97
/print_goal.doc/1.1.1.1/Mon Oct 16 13:35:19 1995//THOL97
/print_hyps.doc/1.1.1.1/Mon Oct 16 13:35:19 1995//THOL97
/print_ibegin.doc/1.1.1.1/Mon Oct 16 13:35:19 1995//THOL97
/print_int.doc/1.1.1.1/Mon Oct 16 13:35:20 1995//THOL97
/print_list.doc/1.1.1.1/Mon Oct 16 13:35:20 1995//THOL97
/print_newline.doc/1.1.1.1/Mon Oct 16 13:35:20 1995//THOL97
/print_stack.doc/1.1.1.1/Mon Oct 16 13:35:20 1995//THOL97
/print_state.doc/1.1.1.1/Mon Oct 16 13:35:20 1995//THOL97
/print_string.doc/1.1.1.1/Mon Oct 16 13:35:20 1995//THOL97
/print_subgoals.doc/1.1.1.1/Mon Oct 16 13:35:20 1995//THOL97
/print_term.doc/1.1.1.1/Mon Oct 16 13:35:21 1995//THOL97
/print_theory.doc/1.1.1.1/Mon Oct 16 13:35:21 1995//THOL97
/print_thm.doc/1.1.1.1/Mon Oct 16 13:35:21 1995//THOL97
/print_tok.doc/1.1.1.1/Mon Oct 16 13:35:21 1995//THOL97
/print_type.doc/1.1.1.1/Mon Oct 16 13:35:21 1995//THOL97
/print_unquoted_term.doc/1.1.1.1/Mon Oct 16 13:35:21 1995//THOL97
/print_unquoted_type.doc/1.1.1.1/Mon Oct 16 13:35:22 1995//THOL97
/print_void.doc/1.1.1.1/Mon Oct 16 13:35:22 1995//THOL97
/prompt.doc/1.1.1.1/Mon Oct 16 13:35:16 1995//THOL97
/prove.doc/1.1.1.1/Mon Oct 16 13:35:22 1995//THOL97
/prove_abs_fn_one_one.doc/1.1.1.1/Mon Oct 16 13:35:22 1995//THOL97
/prove_abs_fn_onto.doc/1.1.1.1/Mon Oct 16 13:35:22 1995//THOL97
/prove_cases_thm.doc/1.1.1.1/Mon Oct 16 13:35:22 1995//THOL97
/prove_constructors_distinct.doc/1.1.1.1/Mon Oct 16 13:35:23 1995//THOL97
/prove_constructors_one_one.doc/1.1.1.1/Mon Oct 16 13:35:23 1995//THOL97
/prove_induction_thm.doc/1.1.1.1/Mon Oct 16 13:35:23 1995//THOL97
/prove_rec_fn_exists.doc/1.1.1.1/Mon Oct 16 13:35:23 1995//THOL97
/prove_rep_fn_one_one.doc/1.1.1.1/Mon Oct 16 13:35:23 1995//THOL97
/prove_rep_fn_onto.doc/1.1.1.1/Mon Oct 16 13:35:23 1995//THOL97
/prove_thm.doc/1.1.1.1/Mon Oct 16 13:35:23 1995//THOL97
/push_fsubgoals.doc/1.1.1.1/Mon Oct 16 13:35:24 1995//THOL97
/push_print.doc/1.1.1.1/Mon Oct 16 13:35:24 1995//THOL97
/push_subgoals.doc/1.1.1.1/Mon Oct 16 13:35:24 1995//THOL97
/quit.doc/1.1.1.1/Mon Oct 16 13:35:24 1995//THOL97
/r.doc/1.1.1.1/Mon Oct 16 13:35:24 1995//THOL97
/rand.doc/1.1.1.1/Mon Oct 16 13:35:24 1995//THOL97
/rator.doc/1.1.1.1/Mon Oct 16 13:35:24 1995//THOL97
/read.doc/1.1.1.1/Mon Oct 16 13:35:25 1995//THOL97
/remove.doc/1.1.1.1/Mon Oct 16 13:35:25 1995//THOL97
/remove_sticky_type.doc/1.1.1.1/Mon Oct 16 13:35:25 1995//THOL97
/rep_goals.doc/1.1.1.1/Mon Oct 16 13:35:25 1995//THOL97
/replicate.doc/1.1.1.1/Mon Oct 16 13:35:25 1995//THOL97
/rev.doc/1.1.1.1/Mon Oct 16 13:35:25 1995//THOL97
/rev_assoc.doc/1.1.1.1/Mon Oct 16 13:35:25 1995//THOL97
/rev_itlist.doc/1.1.1.1/Mon Oct 16 13:35:26 1995//THOL97
/rhs.doc/1.1.1.1/Mon Oct 16 13:35:26 1995//THOL97
/root_goal.doc/1.1.1.1/Mon Oct 16 13:35:26 1995//THOL97
/rotate.doc/1.1.1.1/Mon Oct 16 13:35:26 1995//THOL97
/rotate_goals.doc/1.1.1.1/Mon Oct 16 13:35:26 1995//THOL97
/rotate_top.doc/1.1.1.1/Mon Oct 16 13:35:26 1995//THOL97
/save.doc/1.1.1.1/Mon Oct 16 13:35:26 1995//THOL97
/save_thm.doc/1.1.1.1/Mon Oct 16 13:35:27 1995//THOL97
/save_top_thm.doc/1.1.1.1/Mon Oct 16 13:35:27 1995//THOL97
/search_path.doc/1.1.1.1/Mon Oct 16 13:35:27 1995//THOL97
/set_equal.doc/1.1.1.1/Mon Oct 16 13:35:27 1995//THOL97
/set_fail.doc/1.1.1.1/Mon Oct 16 13:35:27 1995//THOL97
/set_fail_prefix.doc/1.1.1.1/Mon Oct 16 13:35:28 1995//THOL97
/set_flag.doc/1.1.1.1/Mon Oct 16 13:35:28 1995//THOL97
/set_goal.doc/1.1.1.1/Mon Oct 16 13:35:28 1995//THOL97
/set_help.doc/1.1.1.1/Mon Oct 16 13:35:28 1995//THOL97
/set_help_search_path.doc/1.1.1.1/Mon Oct 16 13:35:28 1995//THOL97
/set_interface_map.doc/1.1.1.1/Mon Oct 16 13:35:29 1995//THOL97
/set_lambda.doc/1.1.1.1/Mon Oct 16 13:35:29 1995//THOL97
/set_library_search_path.doc/1.1.1.1/Mon Oct 16 13:35:29 1995//THOL97
/set_margin.doc/1.1.1.1/Mon Oct 16 13:35:29 1995//THOL97
/set_pretty_mode.doc/1.1.1.1/Mon Oct 16 13:35:30 1995//THOL97
/set_prompt.doc/1.1.1.1/Mon Oct 16 13:35:30 1995//THOL97
/set_search_path.doc/1.1.1.1/Mon Oct 16 13:35:30 1995//THOL97
/set_state.doc/1.1.1.1/Mon Oct 16 13:35:30 1995//THOL97
/set_sticky_type.doc/1.1.1.1/Mon Oct 16 13:35:30 1995//THOL97
/set_string_escape.doc/1.1.1.1/Mon Oct 16 13:35:30 1995//THOL97
/set_thm_count.doc/1.1.1.1/Mon Oct 16 13:35:30 1995//THOL97
/set_turnstile.doc/1.1.1.1/Mon Oct 16 13:35:30 1995//THOL97
/setify.doc/1.1.1.1/Mon Oct 16 13:35:31 1995//THOL97
/show_types.doc/1.1.1.1/Mon Oct 16 13:35:31 1995//THOL97
/snd.doc/1.1.1.1/Mon Oct 16 13:35:29 1995//THOL97
/sort.doc/1.1.1.1/Mon Oct 16 13:35:31 1995//THOL97
/special_symbols.doc/1.1.1.1/Mon Oct 16 13:35:31 1995//THOL97
/split.doc/1.1.1.1/Mon Oct 16 13:35:31 1995//THOL97
/sticky_list.doc/1.1.1.1/Mon Oct 16 13:35:31 1995//THOL97
/store_binders.doc/1.1.1.1/Mon Oct 16 13:35:32 1995//THOL97
/store_definition.doc/1.1.1.1/Mon Oct 16 13:35:32 1995//THOL97
/string_of_int.doc/1.1.1.1/Mon Oct 16 13:35:32 1995//THOL97
/strip_abs.doc/1.1.1.1/Mon Oct 16 13:35:32 1995//THOL97
/strip_comb.doc/1.1.1.1/Mon Oct 16 13:35:32 1995//THOL97
/strip_exists.doc/1.1.1.1/Mon Oct 16 13:35:32 1995//THOL97
/strip_forall.doc/1.1.1.1/Mon Oct 16 13:35:33 1995//THOL97
/strip_imp.doc/1.1.1.1/Mon Oct 16 13:35:33 1995//THOL97
/strip_pair.doc/1.1.1.1/Mon Oct 16 13:35:33 1995//THOL97
/subst.doc/1.1.1.1/Mon Oct 16 13:35:32 1995//THOL97
/subst_occs.doc/1.1.1.1/Mon Oct 16 13:35:34 1995//THOL97
/subtract.doc/1.1.1.1/Mon Oct 16 13:35:34 1995//THOL97
/syserror.doc/1.1.1.1/Mon Oct 16 13:35:34 1995//THOL97
/system.doc/1.1.1.1/Mon Oct 16 13:35:34 1995//THOL97
/theorem.doc/1.1.1.1/Mon Oct 16 13:35:34 1995//THOL97
/theorem_lfn.doc/1.1.1.1/Mon Oct 16 13:35:34 1995//THOL97
/theorem_msg_lfn.doc/1.1.1.1/Mon Oct 16 13:35:34 1995//THOL97
/theorems.doc/1.1.1.1/Mon Oct 16 13:35:35 1995//THOL97
/thm_count.doc/1.1.1.1/Mon Oct 16 13:35:35 1995//THOL97
/thm_frees.doc/1.1.1.1/Mon Oct 16 13:35:35 1995//THOL97
/timer.doc/1.1.1.1/Mon Oct 16 13:35:35 1995//THOL97
/tl.doc/1.1.1.1/Mon Oct 16 13:35:35 1995//THOL97
/top_goal.doc/1.1.1.1/Mon Oct 16 13:35:35 1995//THOL97
/top_print.doc/1.1.1.1/Mon Oct 16 13:35:35 1995//THOL97
/top_proof.doc/1.1.1.1/Mon Oct 16 13:35:35 1995//THOL97
/top_thm.doc/1.1.1.1/Mon Oct 16 13:35:36 1995//THOL97
/tryfind.doc/1.1.1.1/Mon Oct 16 13:35:36 1995//THOL97
/tty_read.doc/1.1.1.1/Mon Oct 16 13:35:36 1995//THOL97
/tty_write.doc/1.1.1.1/Mon Oct 16 13:35:36 1995//THOL97
/type_abbrevs.doc/1.1.1.1/Mon Oct 16 13:35:36 1995//THOL97
/type_in.doc/1.1.1.1/Mon Oct 16 13:35:36 1995//THOL97
/type_in_type.doc/1.1.1.1/Mon Oct 16 13:35:36 1995//THOL97
/type_of.doc/1.1.1.1/Mon Oct 16 13:35:37 1995//THOL97
/type_tyvars.doc/1.1.1.1/Mon Oct 16 13:35:37 1995//THOL97
/types.doc/1.1.1.1/Mon Oct 16 13:35:37 1995//THOL97
/tyvars.doc/1.1.1.1/Mon Oct 16 13:35:37 1995//THOL97
/tyvarsl.doc/1.1.1.1/Mon Oct 16 13:35:37 1995//THOL97
/uncurry.doc/1.1.1.1/Mon Oct 16 13:35:37 1995//THOL97
/undo_autoload.doc/1.1.1.1/Mon Oct 16 13:35:37 1995//THOL97
/unhide_constant.doc/1.1.1.1/Mon Oct 16 13:35:38 1995//THOL97
/union.doc/1.1.1.1/Mon Oct 16 13:35:38 1995//THOL97
/unlink.doc/1.1.1.1/Mon Oct 16 13:35:38 1995//THOL97
/variant.doc/1.1.1.1/Mon Oct 16 13:35:38 1995//THOL97
/vars.doc/1.1.1.1/Mon Oct 16 13:35:38 1995//THOL97
/varsl.doc/1.1.1.1/Mon Oct 16 13:35:38 1995//THOL97
/version.doc/1.1.1.1/Mon Oct 16 13:35:38 1995//THOL97
/word_separators.doc/1.1.1.1/Mon Oct 16 13:35:39 1995//THOL97
/words.doc/1.1.1.1/Mon Oct 16 13:35:38 1995//THOL97
/words2.doc/1.1.1.1/Mon Oct 16 13:35:39 1995//THOL97
/write.doc/1.1.1.1/Mon Oct 16 13:35:39 1995//THOL97
