Searched defs:abs_name (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DEnumType.sml354 val abs_name = abs ^ "_thm" value
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DMutRecDef.sml488 val abs_name = mk_abs_name type_name value
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DLogging.sml638 val abs_name = (ns',"abs") value

Completed in 46 milliseconds