Searched defs:chomp (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sig259 val chomp : string -> string value
H A DUseful.sml557 fun chomp s = function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibUseful.sig124 val chomp : string -> string value
H A DmlibUseful.sml469 fun chomp s = function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DUseful.sig222 val chomp : string -> string value
H A DUseful.sml556 fun chomp s = function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig222 val chomp : string -> string value
H A DUseful.sml556 fun chomp s = function
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sml411 fun chomp ch = function

Completed in 107 milliseconds