Searched defs:y2 (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dprog_x64Lib.sml278 val y2 = (cdr o cdr) ((snd o dest_eq o concl) res) value
/seL4-l4v-master/HOL4/examples/theorem-prover/milawa-prover/
H A Dmilawa_logicScript.sml253 val y2 = ``mVar "Y2"`` value
/seL4-l4v-master/HOL4/src/coretypes/
H A DPairRules.sml13 val y2 = type_of (rand (concl t2)) value
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DlzPairRules.sml15 val y2 = type_of (rand (concl t2)) value
/seL4-l4v-master/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sml636 val (y2,z2) = terms (ys,x) value
1292 val (y2,z2) = terms (ys,x) value

Completed in 120 milliseconds