Searched defs:dir2 (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/bool/
H A DboolScript.sml3537 val dir2 = DISCH_ALL (CONJ p_thm (DISCH p q_thm)) value

Completed in 89 milliseconds