Searched defs:funs (Results 1 - 7 of 7) sorted by last modified time

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DProblem.sml104 val funs = value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DProblem.sml104 val funs = value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibThm.sml561 val funs = map FUN_CONGRUENCE o functions' value
H A DmlibCanon.sml224 val funs = functions fm value
H A DfolTools.sml368 val funs = filter (not o is_skol o fst) funs value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPrim_rec.sml1523 val funs = value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DencodeLib.sml608 val funs = snd (strip_comb func) value
625 val funs = snd (strip_comb func) value

Completed in 108 milliseconds