Searched defs:its (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/cmos/
H A Dmk_XOR.ml4 The difference model of transistors and its use to distinguish the good and var
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DSequence.sml97 let fun its s = mk_seq (fn()=> function
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A DarmLib.sml126 val its = "it:" ^ w2s itstate value

Completed in 49 milliseconds