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

/seL4-l4v-master/HOL4/src/proofman/
H A DgoalStack.sml281 val has = if !print_number_assums < length_asl then NONE :: map SOME l value
/seL4-l4v-master/HOL4/src/TeX/
H A DmungeTools.sml207 val has : elem -> set -> bool value
216 fun has e s = Lib.mem e s function
[all...]
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dcircuits.lisp

Completed in 46 milliseconds