Searched defs:ns (Results 26 - 28 of 28) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/num/theories/
H A DarithmeticScript.sml19 val ns = ["Number", "Natural"] value
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A Dpred_setScript.sml77 val ns = ["Set"] value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1345 let val ns = explode ("Failure: " ^ int_to_string n) value

Completed in 80 milliseconds

12