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

/seL4-l4v-10.1.1/HOL4/examples/ARM/arm6-verification/correctness/
H A DcoprocessorScript.sml134 val nc = armLib.tupleCases value
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dselftest.sml719 fun nc (s,ty) = function
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sml232 let val nc = nodecount r + 2 value
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A Dholfoot_pp_print.sml455 val nc = mk_asl_comment_location (c, mk_comb (op_term, rest_term')) value
H A DholfootLib.sml
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/
H A DseparationLogicLib.sml173 val nc = Redblackmap.insert (!cref, p, thm1_opt) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml1051 val nc = variant fvs (mk_var("split", value

Completed in 102 milliseconds