Searched defs:ie (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/misc/ |
H A D | root2Script.sml | 65 fun ie q tac = Q_TAC SUFF_TAC q THEN1 tac; function
|
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | envTools.sml | [all...] |
H A D | muCheck.sml | 758 val ie = if (List.null rvl) then (``EMPTY_ENV:^(ty_antiq(env_ty))``) else mk_env rvl state value 804 val (ie,(msr,seth,sel,msreq,ee2),mfml,imf_thms,frv_thms,qd,sqd,mf) = value [all...] |
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/ |
H A D | riscv.sml | 3555 val ie = #mie((MCSR ()) : MachineCSR) value
|
Completed in 127 milliseconds