Searched defs:car (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/ppc/
H A Dppc_encodeLib.sml7 val car = fst o dest_comb; value
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_encodeLib.sml7 val car = fst o dest_comb; value
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dx64_encodeLib.sml7 val car = fst o dest_comb; value
H A Dx64_decoderScript.sml592 val car = fst o dest_comb; value
/seL4-l4v-master/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sig43 val car : term -> term value
H A DhelperLib.sml137 val car = fst o dest_comb; value
[all...]
/seL4-l4v-master/HOL4/examples/theorem-prover/milawa-prover/
H A Dmilawa_execScript.sml626 val car = ``mApp (mPrimitiveFun logic_CAR)`` value
H A Dmilawa_logicScript.sml227 val car = ``mApp (mPrimitiveFun logic_CAR)`` value
[all...]
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dcircuits.lisp[all...]

Completed in 62 milliseconds