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

/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DEnumType.sml356 val rep_name = rep ^ "_thm" value
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DMutRecDef.sml487 val rep_name = mk_rep_name type_name value
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DLogging.sml639 val rep_name = (ns',"rep") value

Completed in 51 milliseconds