Searched defs:prefix (Results 1 - 25 of 37) sorted by last modified time

12

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
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...]
H A DNormalize.sml15 val prefix = "FOFtoCNF"; value
H A DName.sml30 val prefix = "_"; value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
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...]
H A DNormalize.sml15 val prefix = "FOFtoCNF"; value
H A DName.sml30 val prefix = "_"; value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_OPTIMISER.sml463 val prefix = ListPair.map mergeArgLists (l1, l2) value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dgenerate-osx-source-and-headers.py44 prefix = "#if defined(__i386__) && !defined(__x86_64__)\n\n" variable in class:desktop_platform_32
54 prefix = "#if !defined(__i386__) && defined(__x86_64__)\n\n" variable in class:desktop_platform_64
[all...]
H A Dgenerate-ios-source-and-headers.py49 prefix = "#if !defined(__arm__) && defined(__i386__)\n\n" variable in class:simulator_platform
59 prefix = "#ifdef __arm__\n\n" variable in class:device_platform
[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/HOL4/tools/mlyacc/src/
H A Dlook.sml161 fun prefix symbols = function
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttNumber.sml67 fun prefix l1 l2 = case (l1,l2) of function
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibBase.sml2523 val prefix = prefix_string n; value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sml560 val (prefix,s) = next s 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/src/metis/
H A DmlibTerm.sml402 val prefix = "_"; value
H A DmlibMeson.sml160 val prefix = "_m"; 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/TeX/
H A DEmitTeX.sml593 let val prefix = datatype_prefix() value
606 let val prefix = definition_prefix() value
619 let val prefix = theorem_prefix() value
[all...]
/seL4-l4v-10.1.1/HOL4/src/IndDef/
H A DInductiveDefinition.sml711 val prefix = lcommon_prefix prefix_vars value
/seL4-l4v-10.1.1/HOL4/src/HolSat/
H A DdimacsTools.sml172 val prefix = ref "v"; value
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQDimacs.sml241 fun prefix ("a" :: xs) = function
/seL4-l4v-10.1.1/HOL4/src/1/
H A DTypeBasePure.sml973 let val prefix = String.extract(s2,0,SOME(String.size s1)) value
/seL4-l4v-10.1.1/HOL4/src/0/
H A DTerm.sml718 val prefix = Array.fromList prefixl value

Completed in 238 milliseconds

12