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

/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DOpening.sml131 val (conditions,conc) = strip_n_imp nconds (concl congrule') value
H A DCond_rewr.sml148 val (conditions,eqn) = strip_imp (concl conditional_eqn) value
280 val conditions = #1 (strip_imp (concl thm)) value
[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Guide/
H A Dguide.tex

Completed in 39 milliseconds