Searched defs:bf (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | commonTools.sml | 119 else let val (bf,af) = split_list l n value
|
H A D | lzPairRules.sml | 207 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 D | normalForms.sml | 1275 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 D | PairRules.sml | 247 and (bf,bc) = search b pthl value 265 let val (bf,bc) = search b pthl' value
|
Completed in 102 milliseconds