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

/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sml481 val tx = find_term (can (fn t => match_term t tm)) (concl abs_th) value
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibBase.sml[all...]

Completed in 103 milliseconds