Searched defs:oset (Results 1 - 1 of 1) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml757 let val oset = mk_set (flatten (map hyp (L @ fst AE))) value

Completed in 123 milliseconds