Searched defs:mv (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/tools/
H A Dbuildutils.sig32 val mv : bool -> string -> string -> unit value
H A Dbuildutils.sml435 fun mv b = if b then mv0 else cp b function
/seL4-l4v-master/HOL4/examples/HolCheck/examples/
H A Dttt.sml75 val mv = if (pl=0) then (mk_neg(mk_bool_var "m")) else (mk_bool_var "m"); value
128 val mv = if (pl=0) then C_NOT(ttt_AP "m") else ttt_AP "m"; value
/seL4-l4v-master/seL4/manual/
H A DMakefile35 mv = mv macro

Completed in 52 milliseconds