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

/seL4-l4v-master/HOL4/src/HolQbf/
H A DQbfLibrary.sml[all...]
/seL4-l4v-master/HOL4/src/prekernel/
H A DFinalThm-sig.sml15 val hyp : thm -> term list value
/seL4-l4v-master/HOL4/src/1/
H A DThm_cont.sml249 val (hyp,conc) = dest_thm xth value
/seL4-l4v-master/HOL4/src/integer/
H A DCooperMath.sml209 val hyp = LIST_CONJ [pa_qm_eq_d, m_nonz, a_nonz] value
/seL4-l4v-master/HOL4/src/quotient/examples/
H A Dind_rel.sml1300 let val hyp = rand (rator imp) value
[all...]

Completed in 103 milliseconds