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

/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A DarmAssemblerLib.sml251 val ma = ref 0 value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8AssemblerLib.sml212 val ma = ref 0 value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/
H A Dm0AssemblerLib.sml238 val ma = ref 0 value
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dtheories.tex[all...]

Completed in 86 milliseconds