Searched defs:new_v (Results 1 - 4 of 4) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibAbbrev.sml101 val new_v = variant (!fvL) (mk_var (ss, type_of st)) value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DTerm.sml620 val new_v = mk_var (new_vname, vty) value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairedLambda.sml324 val new_v = (rhs o concl) new_v_thm value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/
H A Djit_incrementalScript.sml2430 val new_v = mk_var(find_name n,ty) value

Completed in 65 milliseconds