Searched defs:xv (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/proofman/tests/
H A Dselftest.sml15 val xv = hd args value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairedLambda.sml66 val xv = mk_var("x", type_of varstruct) value
/seL4-l4v-10.1.1/HOL4/src/num/reduce/src/
H A DArithconv.sml222 val xv = mk_var {Name= "x", Ty=num} value
/seL4-l4v-10.1.1/HOL4/src/real/
H A DDiff.sml46 let val xv = variant (frees tm) xreal value
[all...]
/seL4-l4v-10.1.1/HOL4/src/num/
H A DnumLib.sml93 val (xv,xb) = dest_exists lc value
/seL4-l4v-10.1.1/HOL4/src/list/src/
H A DListConv1.sml491 val xv = Term.mk_var ("x", lty) value

Completed in 115 milliseconds