/ABS.doc/1.1.1.1/Mon Oct 16 13:35:39 1995//THOL97
/ABS_CONV.doc/1.1.1.1/Mon Oct 16 13:35:40 1995//THOL97
/ACCEPT_TAC.doc/1.1.1.1/Mon Oct 16 13:35:40 1995//THOL97
/AC_CONV.doc/1.1.1.1/Mon Oct 16 13:35:45 1995//THOL97
/ADD_ASSUM.doc/1.1.1.1/Mon Oct 16 13:35:52 1995//THOL97
/ALL_CONV.doc/1.1.1.1/Mon Oct 16 13:35:53 1995//THOL97
/ALL_TAC.doc/1.1.1.1/Mon Oct 16 13:35:45 1995//THOL97
/ALL_THEN.doc/1.1.1.1/Mon Oct 16 13:35:54 1995//THOL97
/ALPHA.doc/1.1.1.1/Mon Oct 16 13:35:54 1995//THOL97
/ALPHA_CONV.doc/1.1.1.1/Mon Oct 16 13:35:55 1995//THOL97
/AND_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:35:55 1995//THOL97
/AND_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:35:55 1995//THOL97
/ANTE_CONJ_CONV.doc/1.1.1.1/Mon Oct 16 13:35:55 1995//THOL97
/ANTE_RES_THEN.doc/1.1.1.1/Mon Oct 16 13:35:55 1995//THOL97
/AP_TERM.doc/1.1.1.1/Mon Oct 16 13:35:56 1995//THOL97
/AP_TERM_TAC.doc/1.1.1.1/Mon Oct 16 13:35:56 1995//THOL97
/AP_THM.doc/1.1.1.1/Mon Oct 16 13:35:56 1995//THOL97
/AP_THM_TAC.doc/1.1.1.1/Mon Oct 16 13:35:56 1995//THOL97
/ASM_CASES_TAC.doc/1.1.1.1/Mon Oct 16 13:35:56 1995//THOL97
/ASM_REWRITE_RULE.doc/1.1.1.1/Mon Oct 16 13:35:56 1995//THOL97
/ASM_REWRITE_TAC.doc/1.1.1.1/Mon Oct 16 13:35:56 1995//THOL97
/ASSUME.doc/1.1.1.1/Mon Oct 16 13:35:57 1995//THOL97
/ASSUME_TAC.doc/1.1.1.1/Mon Oct 16 13:35:57 1995//THOL97
/ASSUM_LIST.doc/1.1.1.1/Mon Oct 16 13:35:57 1995//THOL97
/B.doc/1.1.1.1/Mon Oct 16 13:35:41 1995//THOL97
/BETA_CONV.doc/1.1.1.1/Mon Oct 16 13:35:57 1995//THOL97
/BETA_RULE.doc/1.1.1.1/Mon Oct 16 13:35:57 1995//THOL97
/BETA_TAC.doc/1.1.1.1/Mon Oct 16 13:35:58 1995//THOL97
/BODY_CONJUNCTS.doc/1.1.1.1/Mon Oct 16 13:35:58 1995//THOL97
/BOOL_CASES_TAC.doc/1.1.1.1/Mon Oct 16 13:35:58 1995//THOL97
/CCONTR_TAC.doc/1.1.1.1/Mon Oct 16 13:35:54 1995//THOL97
/GEN_ALL.doc/1.1.1.1/Mon Oct 16 13:35:39 1995//THOL97
/INST.doc/1.1.1.1/Mon Oct 16 13:35:40 1995//THOL97
/INST_TYPE.doc/1.1.1.1/Mon Oct 16 13:35:40 1995//THOL97
/INST_TY_TERM.doc/1.1.1.1/Mon Oct 16 13:35:40 1995//THOL97
/PROVE.doc/1.1.1.1/Mon Oct 16 13:35:40 1995//THOL97
/Psyntax.doc/1.1.1.1/Mon Oct 16 13:35:55 1995//THOL97
/Rsyntax.doc/1.1.1.1/Mon Oct 16 13:35:54 1995//THOL97
/SUBST.doc/1.1.1.1/Mon Oct 16 13:35:40 1995//THOL97
/SUBST_CONV.doc/1.1.1.1/Mon Oct 16 13:35:40 1995//THOL97
/aconv.doc/1.1.1.1/Mon Oct 16 13:35:58 1995//THOL97
/add_base_rewrites.doc/1.1.1.1/Mon Oct 16 13:35:58 1995//THOL97
/ancestry.doc/1.1.1.1/Mon Oct 16 13:35:52 1995//THOL97
/append.doc/1.1.1.1/Mon Oct 16 13:35:58 1995//THOL97
/arity.doc/1.1.1.1/Mon Oct 16 13:35:59 1995//THOL97
/assert.doc/1.1.1.1/Mon Oct 16 13:35:59 1995//THOL97
/assoc.doc/1.1.1.1/Mon Oct 16 13:35:41 1995//THOL97
/associate_restriction.doc/1.1.1.1/Mon Oct 16 13:35:53 1995//THOL97
/axiom.doc/1.1.1.1/Mon Oct 16 13:35:59 1995//THOL97
/axioms.doc/1.1.1.1/Mon Oct 16 13:35:59 1995//THOL97
/base_rewrites.doc/1.1.1.1/Mon Oct 16 13:35:59 1995//THOL97
/binder_restrictions.doc/1.1.1.1/Mon Oct 16 13:35:54 1995//THOL97
/binders.doc/1.1.1.1/Mon Oct 16 13:35:59 1995//THOL97
/body.doc/1.1.1.1/Mon Oct 16 13:36:00 1995//THOL97
/bool_EQ_CONV.doc/1.1.1.1/Mon Oct 16 13:36:00 1995//THOL97
/bool_ty.doc/1.1.1.1/Mon Oct 16 13:36:00 1995//THOL97
/bvar.doc/1.1.1.1/Mon Oct 16 13:36:00 1995//THOL97
/conjuncts.doc/1.1.1.1/Mon Oct 16 13:35:41 1995//THOL97
/define_new_type_bijections.doc/1.1.1.1/Mon Oct 16 13:35:41 1995//THOL97
/define_type.doc/1.1.1.1/Mon Oct 16 13:35:41 1995//THOL97
/delete_restriction.doc/1.1.1.1/Mon Oct 16 13:35:54 1995//THOL97
/dest_abs.doc/1.1.1.1/Mon Oct 16 13:35:42 1995//THOL97
/dest_comb.doc/1.1.1.1/Mon Oct 16 13:35:42 1995//THOL97
/dest_cond.doc/1.1.1.1/Mon Oct 16 13:35:42 1995//THOL97
/dest_conj.doc/1.1.1.1/Mon Oct 16 13:35:42 1995//THOL97
/dest_cons.doc/1.1.1.1/Mon Oct 16 13:35:42 1995//THOL97
/dest_const.doc/1.1.1.1/Mon Oct 16 13:35:42 1995//THOL97
/dest_disj.doc/1.1.1.1/Mon Oct 16 13:35:42 1995//THOL97
/dest_eq.doc/1.1.1.1/Mon Oct 16 13:35:42 1995//THOL97
/dest_exists.doc/1.1.1.1/Mon Oct 16 13:35:43 1995//THOL97
/dest_forall.doc/1.1.1.1/Mon Oct 16 13:35:43 1995//THOL97
/dest_imp.doc/1.1.1.1/Mon Oct 16 13:35:43 1995//THOL97
/dest_let.doc/1.1.1.1/Mon Oct 16 13:35:43 1995//THOL97
/dest_list.doc/1.1.1.1/Mon Oct 16 13:35:43 1995//THOL97
/dest_pabs.doc/1.1.1.1/Mon Oct 16 13:35:43 1995//THOL97
/dest_pair.doc/1.1.1.1/Mon Oct 16 13:35:43 1995//THOL97
/dest_select.doc/1.1.1.1/Mon Oct 16 13:35:43 1995//THOL97
/dest_type.doc/1.1.1.1/Mon Oct 16 13:35:44 1995//THOL97
/dest_var.doc/1.1.1.1/Mon Oct 16 13:35:44 1995//THOL97
/disjuncts.doc/1.1.1.1/Mon Oct 16 13:35:44 1995//THOL97
/empty_rewrites.doc/1.1.1.1/Mon Oct 16 13:36:00 1995//THOL97
/find.doc/1.1.1.1/Mon Oct 16 13:35:44 1995//THOL97
/flat.doc/1.1.1.1/Mon Oct 16 13:35:44 1995//THOL97
/forall.doc/1.1.1.1/Mon Oct 16 13:35:44 1995//THOL97
/frees.doc/1.1.1.1/Mon Oct 16 13:35:44 1995//THOL97
/freesl.doc/1.1.1.1/Mon Oct 16 13:35:45 1995//THOL97
/front_n_back.doc/1.1.1.1/Mon Oct 16 13:35:54 1995//THOL97
/inst.doc/1.1.1.1/Mon Oct 16 13:35:45 1995//THOL97
/inst_type.doc/1.1.1.1/Mon Oct 16 13:35:45 1995//THOL97
/install.doc/1.1.1.1/Mon Oct 16 13:35:52 1995//THOL97
/int_of_string.doc/1.1.1.1/Mon Oct 16 13:35:45 1995//THOL97
/last.doc/1.1.1.1/Mon Oct 16 13:35:45 1995//THOL97
/match_term.doc/1.1.1.1/Mon Oct 16 13:35:45 1995//THOL97
/match_type.doc/1.1.1.1/Mon Oct 16 13:35:46 1995//THOL97
/mk_abs.doc/1.2/Wed Oct 18 16:36:26 1995//THOL97
/mk_comb.doc/1.1.1.1/Mon Oct 16 13:35:46 1995//THOL97
/mk_cond.doc/1.1.1.1/Mon Oct 16 13:35:46 1995//THOL97
/mk_conj.doc/1.1.1.1/Mon Oct 16 13:35:46 1995//THOL97
/mk_cons.doc/1.1.1.1/Mon Oct 16 13:35:46 1995//THOL97
/mk_const.doc/1.1.1.1/Mon Oct 16 13:35:47 1995//THOL97
/mk_disj.doc/1.1.1.1/Mon Oct 16 13:35:47 1995//THOL97
/mk_eq.doc/1.1.1.1/Mon Oct 16 13:35:47 1995//THOL97
/mk_exists.doc/1.1.1.1/Mon Oct 16 13:35:48 1995//THOL97
/mk_forall.doc/1.1.1.1/Mon Oct 16 13:35:48 1995//THOL97
/mk_imp.doc/1.1.1.1/Mon Oct 16 13:35:48 1995//THOL97
/mk_let.doc/1.1.1.1/Mon Oct 16 13:35:48 1995//THOL97
/mk_list.doc/1.1.1.1/Mon Oct 16 13:35:48 1995//THOL97
/mk_pabs.doc/1.1.1.1/Mon Oct 16 13:35:48 1995//THOL97
/mk_pair.doc/1.1.1.1/Mon Oct 16 13:35:48 1995//THOL97
/mk_primed_var.doc/1.1.1.1/Mon Oct 16 13:35:49 1995//THOL97
/mk_select.doc/1.1.1.1/Mon Oct 16 13:35:49 1995//THOL97
/mk_type.doc/1.1.1.1/Mon Oct 16 13:35:49 1995//THOL97
/mk_var.doc/1.1.1.1/Mon Oct 16 13:35:49 1995//THOL97
/new_axiom.doc/1.1.1.1/Mon Oct 16 13:35:49 1995//THOL97
/new_binder.doc/1.1.1.1/Mon Oct 16 13:35:49 1995//THOL97
/new_constant.doc/1.1.1.1/Mon Oct 16 13:35:50 1995//THOL97
/new_infix.doc/1.1.1.1/Mon Oct 16 13:35:50 1995//THOL97
/new_infix_prim_rec_definition.doc/1.1.1.1/Mon Oct 16 13:35:50 1995//THOL97
/new_open_axiom.doc/1.1.1.1/Mon Oct 16 13:35:53 1995//THOL97
/new_prim_rec_definition.doc/1.1.1.1/Mon Oct 16 13:35:50 1995//THOL97
/new_recursive_definition.doc/1.1.1.1/Mon Oct 16 13:35:50 1995//THOL97
/new_specification.doc/1.1.1.1/Mon Oct 16 13:35:50 1995//THOL97
/new_type.doc/1.1.1.1/Mon Oct 16 13:35:51 1995//THOL97
/new_type_definition.doc/1.1.1.1/Mon Oct 16 13:35:51 1995//THOL97
/prove_thm.doc/1.1.1.1/Mon Oct 16 13:35:51 1995//THOL97
/resituate_hol90.doc/1.1.1.1/Mon Oct 16 13:35:53 1995//THOL97
/rev_assoc.doc/1.1.1.1/Mon Oct 16 13:35:51 1995//THOL97
/rotl.doc/1.1/Wed Oct 18 16:36:27 1995//THOL97
/rotr.doc/1.1/Wed Oct 18 16:36:28 1995//THOL97
/save.doc/1.1.1.1/Mon Oct 16 13:35:49 1995//THOL97
/set_base_rewrites.doc/1.1.1.1/Mon Oct 16 13:36:01 1995//THOL97
/setify.doc/1.1.1.1/Mon Oct 16 13:35:51 1995//THOL97
/string_of_int.doc/1.1.1.1/Mon Oct 16 13:35:51 1995//THOL97
/subst.doc/1.1.1.1/Mon Oct 16 13:35:51 1995//THOL97
/subst_occs.doc/1.1.1.1/Mon Oct 16 13:35:52 1995//THOL97
/term_lt.doc/1.1.1.1/Mon Oct 16 13:35:53 1995//THOL97
/type_lt.doc/1.1.1.1/Mon Oct 16 13:35:53 1995//THOL97
/type_subst.doc/1.1.1.1/Mon Oct 16 13:35:52 1995//THOL97
/tyvars.doc/1.1.1.1/Mon Oct 16 13:35:52 1995//THOL97
/tyvarsl.doc/1.1.1.1/Mon Oct 16 13:35:52 1995//THOL97
/union.doc/1.1.1.1/Mon Oct 16 13:35:53 1995//THOL97
/variant.doc/1.1.1.1/Mon Oct 16 13:36:01 1995//THOL97
