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

/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1174 val poss = strip_conj (rhs (concl finished)) value
H A DpolytypicLib.sml1845 let val poss = filter (curry op= ((repeat rator o lhs o snd o strip_forall) term) o value
1852 let val poss = filter (curry op= ((repeat rator o lhs o snd o strip_forall) term) o value

Completed in 61 milliseconds