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

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibClauseset.sml451 fun quick i = snd (pk i) <> mlibRewrite.Both function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1211 val (quick,slow) = partition (curry op= T o RHS o concl) applicable value

Completed in 96 milliseconds