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

/seL4-l4v-master/HOL4/examples/AI_tasks/
H A DmleCombinProve.sml19 val vx = mk_var ("X",alpha) value
H A DmleDiophProve.sml24 val vx = mk_var ("x",``:num``) value
[all...]
H A DmleCombinLib.sml24 val vx = mk_var ("X",alpha) value
/seL4-l4v-master/HOL4/src/AI/machine_learning/
H A DmlTreeNeuralNetwork.sml466 val vx = mk_var ("x",alpha); value
/seL4-l4v-master/HOL4/src/floating-point/
H A Dbinary_ieeeLib.sml776 val vx = binary_ieeeSyntax.mk_float_value x value
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sml931 val vx = Term.mk_var ("x", ty) value

Completed in 77 milliseconds