Searched defs:convert (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/meson/src/
H A DjrhTactics.sig20 val convert : Tactic -> tactic value
H A DjrhTactics.sml74 fun convert (T:Tactic) ((asl:term list), (g:term)) = function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DACF.sml199 fun convert defth = function
H A DannotatedIR.sml221 fun convert cfg n = function
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DThread.sml220 and convert([], acc, set) = (acc, set) function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DannotatedIR.sml238 fun convert cfg n = function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DannotatedIR.sml221 fun convert cfg n = function
[all...]

Completed in 117 milliseconds