Searched defs:prepare (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DloggingHolKernel.sml25 fun prepare (nm, th) = function
/seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/
H A Dho_discrimTools.sml269 fun prepare (vars : vars) (tm, a) = (tm, (vars, a)) function
/seL4-l4v-10.1.1/HOL4/examples/miller/subtypes/
H A DsubtypeTools.sml631 fun prepare (vars, th) = function

Completed in 41 milliseconds