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

/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dshrink.sml167 let val EP = assignIndex l value
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DlzConv.sml894 val (EP,Qth) = CONJ_PAIR(ASSUME tm) value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DConv.sml983 val (EP, Qth) = CONJ_PAIR (ASSUME tm) value

Completed in 51 milliseconds