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

/seL4-l4v-master/HOL4/src/integer/
H A DCooperMath.sml678 val (dir1, dir2) = if var_onL < var_onR then (Left, Right) value
/seL4-l4v-master/HOL4/src/bool/
H A DboolScript.sml3597 val dir1 = DISCH_ALL (CONJ p_thm (MP pimpq p_thm)) value

Completed in 61 milliseconds