Searched defs:defaults (Results 1 - 22 of 22) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibTermorder.sig19 val defaults : parameters value
H A DfolMapping.sig23 val defaults : parameters value
H A DmlibMeson.sig23 val defaults : parameters value
H A DmlibMetis.sig36 val defaults : parameters value
H A DmlibSupport.sig22 val defaults : parameters value
H A DmlibClauseset.sig15 val defaults : parameters value
H A DmlibModel.sig29 val defaults : parameters value
H A DmlibResolution.sig21 val defaults : parameters value
H A DfolTools.sig31 val defaults : parameters value
H A DmetisTools.sig30 val defaults : parameters value
H A DmlibMetis.sml87 val defaults = [default_resolution, default_meson, ordered_resolution]; value
H A DmlibClause.sig24 val defaults : parameters value
H A DmlibResolution.sml43 val defaults : parameters = value
H A DmlibSupport.sml50 val defaults = value
H A DmetisTools.sml169 val defaults = value
H A DmlibTermorder.sml63 val defaults = value
H A DfolTools.sml52 val defaults = value
H A DmlibClause.sml52 val defaults = value
H A DmlibClauseset.sml49 val defaults = value
H A DmlibMeson.sml49 val defaults = value
H A DmlibModel.sml206 val defaults = {size = 5, fix = pure_fix}; value
H A DfolMapping.sml47 val defaults = value

Completed in 54 milliseconds