Searched defs:lc (Results 1 - 9 of 9) sorted by last modified time

/seL4-l4v-master/HOL4/src/real/
H A DrealSimps.sml984 val lc = Arbint.div(li,di) and rc = Arbint.div(ri,di) value
/seL4-l4v-master/HOL4/src/TeX/
H A DEmitTeX.sml165 val lc = String.map Char.toLower value
/seL4-l4v-master/HOL4/src/postkernel/
H A DHolKernel.sml566 val (lc, rc) = dest_comb ctm value
726 val (lc, rc) = dest_comb ctm value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml1123 val lc = ref (PURE_REWRITE_CONV (!lthms)) value
/seL4-l4v-master/HOL4/src/sort/
H A DpermLib.sml322 val (lc,l3') = listSyntax.dest_append l3 value
443 val (lc,l'') = listSyntax.dest_append l' value
/seL4-l4v-master/HOL4/src/num/
H A DnumLib.sml91 let val (lc,rc) = dest_conj tm value
/seL4-l4v-master/HOL4/src/integer/
H A DOmegaSymbolic.sml287 val lc = lcm(c_i, d_i) value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml687 val lc = ref (PURE_REWRITE_CONV (!lthms)) value
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A DassemblerML.sml282 val lc = List.drop(l,28) value

Completed in 93 milliseconds