Searched defs:prefix (Results 26 - 37 of 37) sorted by relevance

12

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DNormalize.sml15 val prefix = "FOFtoCNF"; value
H A DTptp.sml2493 val prefix = "negate_" ^ Int.toString number ^ "_" value
2517 val prefix = "normalize_" ^ Int.toString number ^ "_" value
2522 val prefix = "refute_" ^ Int.toString number ^ "_" value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOS.sml421 val (prefix, suffix) = value
462 val (prefix, suffi value
[all...]
H A DFinalPolyML.sml1887 val prefix = if n = !debugLevel then "> " else " " value
2028 val prefix = value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DNormalize.sml15 val prefix = "FOFtoCNF"; value
H A DTptp.sml2493 val prefix = "negate_" ^ Int.toString number ^ "_" value
2517 val prefix = "normalize_" ^ Int.toString number ^ "_" value
2522 val prefix = "refute_" ^ Int.toString number ^ "_" value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DstateLib.sml774 val prefix = value
/seL4-l4v-10.1.1/HOL4/src/emit/
H A DEmitML.sml178 let val prefix = if mem s1 openthys orelse (s1="") then value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_pp.sml283 val prefix = lift (PREFIX o STD_prefix) value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml500 val prefix = prefix @ [i] value
1809 val prefix = "new@" value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml1919 val prefix = fst o splitAtSpace value
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibBase.sml2523 val prefix = prefix_string n; value

Completed in 282 milliseconds

12