/AND_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/AND_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/CURRY_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/CURRY_EXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/CURRY_FORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/FILTER_PGEN_TAC.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/FILTER_PSTRIP_TAC.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/FILTER_PSTRIP_THEN.doc/1.2/Thu Dec 28 15:13:56 2000//
/GEN_PALPHA_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/GPSPEC.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/HALF_MK_PABS.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/IPSPEC.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/IPSPECL.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/LEFT_AND_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/LEFT_AND_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/LEFT_IMP_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/LEFT_IMP_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/LEFT_LIST_PBETA.doc/1.1.1.1/Thu Dec 28 15:13:50 2000//
/LEFT_OR_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/LEFT_OR_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/LEFT_PBETA.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/LIST_MK_PEXISTS.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/LIST_MK_PFORALL.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/LIST_PBETA_CONV.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/MK_PABS.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/MK_PAIR.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/MK_PEXISTS.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/MK_PFORALL.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/MK_PSELECT.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/NOT_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/NOT_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/OR_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/OR_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/PABS.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/PABS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/PAIR_CONV.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/PALPHA.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/PALPHA_CONV.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PART_PMATCH.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PBETA_CONV.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PBETA_RULE.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PBETA_TAC.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PCHOOSE.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PCHOOSE_TAC.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PCHOOSE_THEN.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PETA_CONV.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTENCE.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTS.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTS_AND_CONV.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTS_EQ.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTS_IMP.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTS_IMP_CONV.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTS_NOT_CONV.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTS_OR_CONV.doc/1.1.1.1/Thu Dec 28 15:13:52 2000//
/PEXISTS_RULE.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PEXISTS_TAC.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PEXISTS_UNIQUE_CONV.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PEXT.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/PFORALL_AND_CONV.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PFORALL_EQ.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PFORALL_IMP_CONV.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PFORALL_NOT_CONV.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PFORALL_OR_CONV.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PGEN.doc/1.1.1.1/Thu Dec 28 15:13:51 2000//
/PGENL.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PGEN_TAC.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PMATCH_MP.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PMATCH_MP_TAC.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSELECT_CONV.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSELECT_ELIM.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSELECT_EQ.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSELECT_INTRO.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSELECT_RULE.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSKOLEM_CONV.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSPEC.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSPECL.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSPEC_ALL.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/PSPEC_PAIR.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/PSPEC_TAC.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/PSTRIP_ASSUME_TAC.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/PSTRIP_GOAL_THEN.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/PSTRIP_TAC.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/PSTRIP_THM_THEN.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/PSTRUCT_CASES_TAC.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/PSUB_CONV.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/P_FUN_EQ_CONV.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/P_PCHOOSE_TAC.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/P_PCHOOSE_THEN.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/P_PGEN_TAC.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/P_PSKOLEM_CONV.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/RIGHT_AND_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/RIGHT_AND_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/RIGHT_IMP_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/RIGHT_IMP_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/RIGHT_LIST_PBETA.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/RIGHT_OR_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:54 2000//
/RIGHT_OR_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/RIGHT_PBETA.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/SWAP_PEXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/SWAP_PFORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/UNCURRY_CONV.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/UNCURRY_EXISTS_CONV.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/UNCURRY_FORALL_CONV.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/UNPBETA_CONV.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/bndpair.doc/1.1.1.1/Thu Dec 28 15:13:53 2000//
/dest_pabs.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/dest_pexists.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/dest_pforall.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/dest_prod.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/dest_pselect.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/genlike.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/is_pabs.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/is_pexists.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/is_pforall.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/is_prod.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/is_pselect.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/is_pvar.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/list_mk_pabs.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/list_mk_pexists-lc.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/list_mk_pforall-lc.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/mk_pabs-lc.doc/1.1.1.1/Thu Dec 28 15:13:55 2000//
/mk_pexists-lc.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/mk_pforall-lc.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/mk_prod.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/mk_pselect-lc.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/occs_in.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/paconv.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/pbody.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/pvariant.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/rip_pair.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/strip_pabs.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/strip_pexists.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
/strip_pforall.doc/1.1.1.1/Thu Dec 28 15:13:56 2000//
D
