Searched defs:default (Results 26 - 45 of 45) sorted by relevance

12

/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DWaiting.sml49 val default : parameters = value
H A DActive.sml254 val default : parameters = value
H A DModel.sig204 val default : parameters value
H A DModel.sml988 val default = {size = defaultSize, fixed = defaultFixed}; value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DClause.sml70 val default : parameters = value
H A DWaiting.sml49 val default : parameters = value
H A DActive.sml254 val default : parameters = value
H A DModel.sig204 val default : parameters value
H A DModel.sml988 val default = {size = defaultSize, fixed = defaultFixed}; value
/seL4-l4v-master/HOL4/tools/unicode-grep/
H A Dugrep.sml238 val default : t = value
/seL4-l4v-master/HOL4/src/prekernel/
H A DFeedback.sml227 val default = get () value
[all...]
/seL4-l4v-master/HOL4/tools-poly/
H A Dconfigure.sml197 val default = value
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dyacc-grm.sml272 let val default = conv_entry(string_to_int()) value
/seL4-l4v-master/l4v/tools/c-parser/tools/mlyacc/src/
H A Dyacc-grm.sml273 let val default = conv_entry(string_to_int()) value
/seL4-l4v-master/HOL4/src/transfer/
H A DtransferLib.sml474 val (default, sq') = case seq.cases sq of value
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DCommonDialog.sml1036 val default = Word.andb(Word.fromInt def, Word.fromInt DN_DEFAULTPRN) <> 0w0 value
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake.sml107 val default = (base,empty_trdb,NONE) value
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DstateLib.sml829 fun default (s, l, p, q) = function
/seL4-l4v-master/HOL4/src/parse/
H A DParse.sml212 fun default t = let function
/seL4-l4v-master/HOL4/src/n-bit/
H A DwordsLib.sml2189 fun default () = case bnd thm1 function

Completed in 138 milliseconds

12