Searched defs:v4 (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/prog/
H A Darm8_progScript.sml175 val v4 = ``[( 7 >< 0) v; (15 >< 8) v; value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/prog/
H A Darm_progScript.sml187 val v4 = ``[( 7 >< 0) v; (15 >< 8) v; value
H A Darm_progLib.sml594 val v4 = Term.mk_var ("x4", Type.bool) value
/seL4-l4v-master/HOL4/src/HolSat/
H A Ddef_cnf.sml141 val v4 = propvar cnfv n4 value
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DregexpSyntax.sml222 val v4 = inf (dest_word_literal v4tm) value
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml760 val v4 = arch = ARMv4 orelse arch = ARMv4T value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml1385 val v4 = fix_datatype ``^st.Architecture = ARMv4`` value

Completed in 709 milliseconds