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

/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DSolve_ineqs.sml168 fun thf () = function
[all...]
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairRules.sml438 val thf = PALPHA t1f t2f value
/seL4-l4v-10.1.1/HOL4/src/relation/
H A DrelationScript.sml952 val thf = CONV_RULE(ONCE_DEPTH_CONV value
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DlzPairRules.sml459 val thf = PALPHA t1f t2f value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sml821 val thf = DISCH_ALL the value
/seL4-l4v-10.1.1/HOL4/src/bool/
H A DboolScript.sml456 val thf = BOOL_CASE (sch F t2b) t2b t2b value

Completed in 152 milliseconds