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

/seL4-l4v-master/HOL4/src/1/
H A DMutual.sml372 val pf = ((EQ_MP ts_thm) o (MP beta) o LIST_CONJ) value
H A DPrim_rec.sml674 val pf = ((MP beta) o LIST_CONJ) o mapshape(map length gll)pl value
/seL4-l4v-master/HOL4/src/unwind/
H A DunwindLib.sml368 val pf = (op @) o (pf1##pf2) o CONJ_PAIR value
376 let val (pf,fnn,eqns) = trav p tm [] value
/seL4-l4v-master/HOL4/src/AI/machine_learning/
H A DmlNeuralNetwork.sml290 val (pf,close_threadl) = parmap_gen (#ncore param) value
[all...]
H A DmlTreeNeuralNetwork.sml344 val (pf,close_threadl) = parmap_gen (#ncore param) value
[all...]

Completed in 61 milliseconds