-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathPopulation.txt
2 lines (1 loc) · 936 Bytes
/
Population.txt
1
2
GSYM MATCH_MP REWRITE_RULE GEN_TAC REWRITE_TAC MATCH_MP_TAC MP_TAC DISCH_THEN STRIP_ASSUME_TAC EXISTS_TAC ASM_REWRITE_TAC X_GEN_TAC BETA_TAC GEN_REWR_TAC FIRST_ASSUM ONCE_REWRITE_TAC CONJ_TAC ACCEPT_TAC COND_CASE_TAC MAP_EVERYTHING DISCH_TAC COND_CASES_TAC MAP_EVERY CONV_TAC RULE_ASSUM_TAC AP_TERM_TAC SUBGOAL_THEN ASSUME_TAC DISJ2_TAC GEN_REWRITE_TAC SUBGOAL_TAC SUBST1_TAC POP_ASSUM REPEAT STRIP_TAC IMP_RES_TAC EQ_TAC MATCH_ACCEPT_TAC STRIP_TAC MATCH_MP ALL_TAC IMP_SUBST_TAC HO_MATCH_MP_TAC PURE_ONCE_REWRITE_TAC RW_TAC FIRST_X_ASSUM PROVE_TAC ASM_SIMP_TAC Q_TAC SUFF_TAC Q.SPECL_THEN Q.SUBGOAL_THEN Q.EXISTS_TAC KNOW_TAC ONCE_REWRITE_CONV ASM_CASES_TAC Q.PAT_ASSUM FULL_SIMP_TAC REFL_TAC STRUCT_CASES_TAC SRW_TAC INDUCT_TAC Q.ASM_CASES_TAC SUBST_ALL_TAC RES_TAC AP_THM_TAC CCONTR_TAC METIS_TAC Q.SUBGOAL_THEN CASES_ON SIMP_TAC Q.SPEC_TAC FRAC_POS_TAC SUBST_TAC RAT_CALC_TAC INT_RING_TAC FRAC_CALC_TAC APPLY_ASM_TAC UNDISCH_TAC