/AND_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:31:58 1995//THOL97
/AND_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:31:59 1995//THOL97
/CURRY_CONV.doc/1.1.1.1/Mon Oct 16 13:31:59 1995//THOL97
/CURRY_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:31:59 1995//THOL97
/CURRY_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:31:59 1995//THOL97
/FILTER_PGEN_TAC.doc/1.1.1.1/Mon Oct 16 13:31:59 1995//THOL97
/FILTER_PSTRIP_TAC.doc/1.1.1.1/Mon Oct 16 13:31:59 1995//THOL97
/FILTER_PSTRIP_THEN.doc/1.1.1.1/Mon Oct 16 13:31:59 1995//THOL97
/GEN_PALPHA_CONV.doc/1.1.1.1/Mon Oct 16 13:32:00 1995//THOL97
/GPSPEC.doc/1.1.1.1/Mon Oct 16 13:32:00 1995//THOL97
/HALF_MK_PABS.doc/1.1.1.1/Mon Oct 16 13:32:00 1995//THOL97
/IPSPEC.doc/1.1.1.1/Mon Oct 16 13:32:00 1995//THOL97
/IPSPECL.doc/1.1.1.1/Mon Oct 16 13:32:00 1995//THOL97
/LEFT_AND_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:00 1995//THOL97
/LEFT_AND_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:01 1995//THOL97
/LEFT_IMP_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:01 1995//THOL97
/LEFT_IMP_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:01 1995//THOL97
/LEFT_LIST_PBETA.doc/1.1.1.1/Mon Oct 16 13:32:01 1995//THOL97
/LEFT_OR_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:01 1995//THOL97
/LEFT_OR_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:01 1995//THOL97
/LEFT_PBETA.doc/1.1.1.1/Mon Oct 16 13:32:01 1995//THOL97
/LIST_MK_PEXISTS.doc/1.1.1.1/Mon Oct 16 13:32:02 1995//THOL97
/LIST_MK_PFORALL.doc/1.1.1.1/Mon Oct 16 13:32:02 1995//THOL97
/LIST_PBETA_CONV.doc/1.1.1.1/Mon Oct 16 13:32:02 1995//THOL97
/MK_PABS.doc/1.1.1.1/Mon Oct 16 13:32:02 1995//THOL97
/MK_PAIR.doc/1.1.1.1/Mon Oct 16 13:32:02 1995//THOL97
/MK_PEXISTS.doc/1.1.1.1/Mon Oct 16 13:32:02 1995//THOL97
/MK_PFORALL.doc/1.1.1.1/Mon Oct 16 13:32:02 1995//THOL97
/MK_PSELECT.doc/1.1.1.1/Mon Oct 16 13:32:03 1995//THOL97
/NOT_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:03 1995//THOL97
/NOT_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:03 1995//THOL97
/OR_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:04 1995//THOL97
/OR_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:04 1995//THOL97
/PABS.doc/1.1.1.1/Mon Oct 16 13:32:04 1995//THOL97
/PABS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:04 1995//THOL97
/PAIR_CONV.doc/1.1.1.1/Mon Oct 16 13:32:04 1995//THOL97
/PALPHA.doc/1.1.1.1/Mon Oct 16 13:32:04 1995//THOL97
/PALPHA_CONV.doc/1.1.1.1/Mon Oct 16 13:32:05 1995//THOL97
/PART_PMATCH.doc/1.1.1.1/Mon Oct 16 13:32:05 1995//THOL97
/PBETA_CONV.doc/1.1.1.1/Mon Oct 16 13:32:05 1995//THOL97
/PBETA_RULE.doc/1.1.1.1/Mon Oct 16 13:32:05 1995//THOL97
/PBETA_TAC.doc/1.1.1.1/Mon Oct 16 13:32:05 1995//THOL97
/PCHOOSE.doc/1.1.1.1/Mon Oct 16 13:32:05 1995//THOL97
/PCHOOSE_TAC.doc/1.1.1.1/Mon Oct 16 13:32:06 1995//THOL97
/PCHOOSE_THEN.doc/1.1.1.1/Mon Oct 16 13:32:06 1995//THOL97
/PETA_CONV.doc/1.1.1.1/Mon Oct 16 13:32:06 1995//THOL97
/PEXISTENCE.doc/1.1.1.1/Mon Oct 16 13:32:06 1995//THOL97
/PEXISTS.doc/1.1.1.1/Mon Oct 16 13:32:06 1995//THOL97
/PEXISTS_AND_CONV.doc/1.1.1.1/Mon Oct 16 13:32:07 1995//THOL97
/PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:07 1995//THOL97
/PEXISTS_EQ.doc/1.1.1.1/Mon Oct 16 13:32:07 1995//THOL97
/PEXISTS_IMP.doc/1.1.1.1/Mon Oct 16 13:32:07 1995//THOL97
/PEXISTS_IMP_CONV.doc/1.1.1.1/Mon Oct 16 13:32:07 1995//THOL97
/PEXISTS_NOT_CONV.doc/1.1.1.1/Mon Oct 16 13:32:07 1995//THOL97
/PEXISTS_OR_CONV.doc/1.1.1.1/Mon Oct 16 13:32:08 1995//THOL97
/PEXISTS_RULE.doc/1.1.1.1/Mon Oct 16 13:32:08 1995//THOL97
/PEXISTS_TAC.doc/1.1.1.1/Mon Oct 16 13:32:08 1995//THOL97
/PEXISTS_UNIQUE_CONV.doc/1.1.1.1/Mon Oct 16 13:32:08 1995//THOL97
/PEXT.doc/1.1.1.1/Mon Oct 16 13:32:08 1995//THOL97
/PFORALL_AND_CONV.doc/1.1.1.1/Mon Oct 16 13:32:08 1995//THOL97
/PFORALL_EQ.doc/1.1.1.1/Mon Oct 16 13:32:08 1995//THOL97
/PFORALL_IMP_CONV.doc/1.1.1.1/Mon Oct 16 13:32:09 1995//THOL97
/PFORALL_NOT_CONV.doc/1.1.1.1/Mon Oct 16 13:32:09 1995//THOL97
/PFORALL_OR_CONV.doc/1.1.1.1/Mon Oct 16 13:32:09 1995//THOL97
/PGEN.doc/1.1.1.1/Mon Oct 16 13:32:09 1995//THOL97
/PGENL.doc/1.1.1.1/Mon Oct 16 13:32:09 1995//THOL97
/PGEN_TAC.doc/1.1.1.1/Mon Oct 16 13:32:09 1995//THOL97
/PMATCH_MP.doc/1.1.1.1/Mon Oct 16 13:32:09 1995//THOL97
/PMATCH_MP_TAC.doc/1.1.1.1/Mon Oct 16 13:32:10 1995//THOL97
/PSELECT_CONV.doc/1.1.1.1/Mon Oct 16 13:32:10 1995//THOL97
/PSELECT_ELIM.doc/1.1.1.1/Mon Oct 16 13:32:10 1995//THOL97
/PSELECT_EQ.doc/1.1.1.1/Mon Oct 16 13:32:10 1995//THOL97
/PSELECT_INTRO.doc/1.1.1.1/Mon Oct 16 13:32:10 1995//THOL97
/PSELECT_RULE.doc/1.1.1.1/Mon Oct 16 13:32:10 1995//THOL97
/PSKOLEM_CONV.doc/1.1.1.1/Mon Oct 16 13:32:10 1995//THOL97
/PSPEC.doc/1.1.1.1/Mon Oct 16 13:32:11 1995//THOL97
/PSPECL.doc/1.1.1.1/Mon Oct 16 13:32:11 1995//THOL97
/PSPEC_ALL.doc/1.1.1.1/Mon Oct 16 13:32:11 1995//THOL97
/PSPEC_PAIR.doc/1.1.1.1/Mon Oct 16 13:32:11 1995//THOL97
/PSPEC_TAC.doc/1.1.1.1/Mon Oct 16 13:32:11 1995//THOL97
/PSTRIP_ASSUME_TAC.doc/1.1.1.1/Mon Oct 16 13:32:11 1995//THOL97
/PSTRIP_GOAL_THEN.doc/1.1.1.1/Mon Oct 16 13:32:11 1995//THOL97
/PSTRIP_TAC.doc/1.1.1.1/Mon Oct 16 13:32:12 1995//THOL97
/PSTRIP_THM_THEN.doc/1.1.1.1/Mon Oct 16 13:32:12 1995//THOL97
/PSTRUCT_CASES_TAC.doc/1.1.1.1/Mon Oct 16 13:32:12 1995//THOL97
/PSUB_CONV.doc/1.1.1.1/Mon Oct 16 13:32:12 1995//THOL97
/P_FUN_EQ_CONV.doc/1.1.1.1/Mon Oct 16 13:32:12 1995//THOL97
/P_PCHOOSE_TAC.doc/1.1.1.1/Mon Oct 16 13:32:12 1995//THOL97
/P_PCHOOSE_THEN.doc/1.1.1.1/Mon Oct 16 13:32:12 1995//THOL97
/P_PGEN_TAC.doc/1.1.1.1/Mon Oct 16 13:32:13 1995//THOL97
/P_PSKOLEM_CONV.doc/1.1.1.1/Mon Oct 16 13:32:13 1995//THOL97
/RIGHT_AND_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:13 1995//THOL97
/RIGHT_AND_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:13 1995//THOL97
/RIGHT_IMP_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:13 1995//THOL97
/RIGHT_IMP_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:13 1995//THOL97
/RIGHT_LIST_PBETA.doc/1.1.1.1/Mon Oct 16 13:32:13 1995//THOL97
/RIGHT_OR_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:14 1995//THOL97
/RIGHT_OR_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:14 1995//THOL97
/RIGHT_PBETA.doc/1.1.1.1/Mon Oct 16 13:32:14 1995//THOL97
/SWAP_PEXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:14 1995//THOL97
/SWAP_PFORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:14 1995//THOL97
/UNCURRY_CONV.doc/1.1.1.1/Mon Oct 16 13:32:14 1995//THOL97
/UNCURRY_EXISTS_CONV.doc/1.1.1.1/Mon Oct 16 13:32:14 1995//THOL97
/UNCURRY_FORALL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:15 1995//THOL97
/UNPBETA_CONV.doc/1.1.1.1/Mon Oct 16 13:32:15 1995//THOL97
/bndpair.doc/1.1.1.1/Mon Oct 16 13:32:15 1995//THOL97
/dest_pabs.doc/1.1.1.1/Mon Oct 16 13:32:15 1995//THOL97
/dest_pexists.doc/1.1.1.1/Mon Oct 16 13:32:15 1995//THOL97
/dest_pforall.doc/1.1.1.1/Mon Oct 16 13:32:15 1995//THOL97
/dest_prod.doc/1.1.1.1/Mon Oct 16 13:32:16 1995//THOL97
/dest_pselect.doc/1.1.1.1/Mon Oct 16 13:32:16 1995//THOL97
/genlike.doc/1.1.1.1/Mon Oct 16 13:32:15 1995//THOL97
/is_pabs.doc/1.1.1.1/Mon Oct 16 13:32:16 1995//THOL97
/is_pexists.doc/1.1.1.1/Mon Oct 16 13:32:16 1995//THOL97
/is_pforall.doc/1.1.1.1/Mon Oct 16 13:32:16 1995//THOL97
/is_prod.doc/1.1.1.1/Mon Oct 16 13:32:16 1995//THOL97
/is_pselect.doc/1.1.1.1/Mon Oct 16 13:32:16 1995//THOL97
/is_pvar.doc/1.1.1.1/Mon Oct 16 13:32:17 1995//THOL97
/list_mk_pabs.doc/1.1.1.1/Mon Oct 16 13:32:17 1995//THOL97
/list_mk_pexists.doc/1.1.1.1/Mon Oct 16 13:32:17 1995//THOL97
/list_mk_pforall.doc/1.1.1.1/Mon Oct 16 13:32:17 1995//THOL97
/mk_pabs.doc/1.1.1.1/Mon Oct 16 13:32:17 1995//THOL97
/mk_pexists.doc/1.1.1.1/Mon Oct 16 13:32:17 1995//THOL97
/mk_pforall.doc/1.1.1.1/Mon Oct 16 13:32:17 1995//THOL97
/mk_prod.doc/1.1.1.1/Mon Oct 16 13:32:18 1995//THOL97
/mk_pselect.doc/1.1.1.1/Mon Oct 16 13:32:18 1995//THOL97
/occs_in.doc/1.1.1.1/Mon Oct 16 13:32:18 1995//THOL97
/paconv.doc/1.1.1.1/Mon Oct 16 13:32:18 1995//THOL97
/pbody.doc/1.1.1.1/Mon Oct 16 13:32:18 1995//THOL97
/pvariant.doc/1.1.1.1/Mon Oct 16 13:32:18 1995//THOL97
/rip_pair.doc/1.1.1.1/Mon Oct 16 13:32:19 1995//THOL97
/strip_pabs.doc/1.1.1.1/Mon Oct 16 13:32:18 1995//THOL97
/strip_pexists.doc/1.1.1.1/Mon Oct 16 13:32:18 1995//THOL97
/strip_pforall.doc/1.1.1.1/Mon Oct 16 13:32:19 1995//THOL97
