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

/seL4-l4v-master/HOL4/examples/HolCheck/
H A DcacheTools.sml662 val frv = lhs(concl (Option.valOf abthm)) value
671 val frv = lhs(concl (Option.valOf abthm)) value
680 val frv = lhs(concl (Option.valOf abthm)) value
689 val frv = lhs(concl (Option.valOf abthm)) value
[all...]

Completed in 39 milliseconds