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

/seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/
H A DambaScript.sml135 val nm1 = "apb" value
/seL4-l4v-10.1.1/HOL4/examples/lambda/basics/
H A Dnomdatatype.sml211 val (nm1, ty1) = dest_var v value
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dselftest.sml557 val ((nm1,th1), (nm2, th2)) = value

Completed in 604 milliseconds