Searched refs:Error (Results 226 - 226 of 226) sorted by relevance
/seL4-l4v-master/HOL4/examples/theorem-prover/milawa-prover/ | ||
H A D | milawa_proofpScript.sml | 4113 \\ Q.PAT_X_ASSUM `term_ok ctxt2 (mApp (func2f Error) (MAP (\a. term2t a) xs'))` MP_TAC |
Completed in 51 milliseconds