Searched defs:sep (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | PrecAnalysis.sml | 220 val {sep, value
[all...] |
| H A D | term_pp.sml | 787 val sep = #separator r value
|
| /seL4-l4v-master/HOL4/src/ring/src/ |
| H A D | abstraction.sml | 241 val sep = [S ",", NL, S " "] value
271 val sep = [S ",", NL, S " "] value
|
| /seL4-l4v-master/HOL4/tools/ |
| H A D | configure-mosml.sml | 176 val sep = case OS of "winNT" => #";" | _ => #":" value
|
| /seL4-l4v-master/HOL4/tools-poly/ |
| H A D | smart-configure.sml | 178 val sep = case OS of "winNT" => #";" | _ => #":" value
|
| /seL4-l4v-master/HOL4/src/TeX/ |
| H A D | mungeTools.sml | 380 val (sep,hypbegin,hypend) = value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Print.sml | 380 and sep = mkWord ","; value
399 and sep = mkWord ","; value
421 val sep = mkWord " " value
441 val sep value
1552 val sep = mkWord " ="; value
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Print.sml | 380 and sep = mkWord ","; value
399 and sep = mkWord ","; value
421 val sep = mkWord " " value
441 val sep value
1552 val sep = mkWord " ="; value
[all...] |
Completed in 79 milliseconds