Searched defs:capitalize (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sig230 val capitalize : string -> string value
H A DUseful.sml597 fun capitalize s = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig230 val capitalize : string -> string value
H A DUseful.sml597 fun capitalize s = function
/seL4-l4v-10.1.1/HOL4/src/emit/
H A DEmitML.sml135 fun capitalize s = function

Completed in 172 milliseconds