Searched +path:tactic +path:. +path:tactic (Results 1 - 25 of 71) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/help/Docfiles/
H A DTactic.ABS_TAC.doc
H A DTactic.ACCEPT_TAC.doc
H A DTactic.AP_TERM_TAC.doc
H A DTactic.AP_THM_TAC.doc
H A DTactic.ASM_CASES_TAC.doc
H A DTactic.ASSUME_TAC.doc
H A DTactic.BETA_TAC.doc
H A DTactic.BOOL_CASES_TAC.doc
H A DTactic.CCONTR_TAC.doc
H A DTactic.CHECK_ASSUME_TAC.doc
H A DTactic.CHOOSE_TAC.doc
H A DTactic.COND_CASES_TAC.doc
H A DTactic.CONJ_ASM1_TAC.doc
H A DTactic.CONJ_ASM2_TAC.doc
H A DTactic.CONJ_TAC.doc
H A DTactic.CONTR_TAC.doc
H A DTactic.CONV_TAC.doc
H A DTactic.DEEP_INTRO_TAC.doc
H A DTactic.DISCARD_TAC.doc
H A DTactic.DISCH_TAC.doc
H A DTactic.DISJ1_TAC.doc
H A DTactic.DISJ2_TAC.doc
H A DTactic.DISJ_CASES_TAC.doc
H A DTactic.EQ_TAC.doc
H A DTactic.EXISTS_TAC.doc

Completed in 32 milliseconds

123