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

/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml261 val sym1 = GENL rs (DISCH_ALL (CONV_RULE (REWR_CONV (GSYM pequiv)) value

Completed in 48 milliseconds