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

/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DcommonTools.sml119 else let val (bf,af) = split_list l n value
H A DlzPairRules.sml207 and (bf,bc) = search b pthl value
225 let val (bf,bc) = search b pthl' value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DnormalForms.sml1275 val bf as Formula (bc,_,_,_) = count_cnf vs b value
1283 val bf as Formula (bc,_,_,_) = count_cnf vs b value
1291 val bf as Formula (bc,_,_,_) = count_cnf vs b value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairRules.sml247 and (bf,bc) = search b pthl value
265 let val (bf,bc) = search b pthl' value

Completed in 102 milliseconds