Searched defs:toks (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-master/HOL4/examples/elliptic/
H A DParser.sml249 val toks = List.concat (map (map op_clean o snd) layeredops) value
[all...]
/seL4-l4v-master/HOL4/src/metis/
H A DmlibParser.sml213 val toks = List.concat (map (map op_clean o snd) layeredops) value
[all...]
/seL4-l4v-master/HOL4/developers/
H A Dprehol.sml195 val toks = ReadHMF.read "Holmakefile" value
/seL4-l4v-master/HOL4/help/src-sml/
H A DParseDoc.sml370 val toks = String.tokens (equal #".") dnm value
/seL4-l4v-master/HOL4/src/prekernel/
H A DLib.sml338 val toks = String.fields (equal #"\n") s value
/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml35 val toks = String.tokens (fn c => c = #" ") c value
/seL4-l4v-master/HOL4/src/TeX/
H A DmungeTools.sml578 val toks = String.tokens (isChar #",") opts value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DPrint.sml584 val toks = tokensLayeredInfixes layers value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DPrint.sml584 val toks = tokensLayeredInfixes layers value
/seL4-l4v-master/HOL4/src/parse/
H A Dterm_grammar.sml348 fun toks rr = pptoks (#elements rr) function
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_parserLib.sml2017 val toks = String.tokens (equal #"-") s value
/seL4-l4v-master/HOL4/examples/l3-machine-code/x64/model/
H A Dx64.sml6125 val toks = p_tokens s value
[all...]

Completed in 124 milliseconds