Searched refs:exp (Results 226 - 228 of 228) sorted by relevance

12345678910

/seL4-l4v-master/HOL4/examples/AKS/compute/
H A DcomputePolyScript.sml238 | perform (exp n) by repeated squares, always reduce by X ** k -> |1|
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dtheories.tex1037 \label{let-exp}
2088 \item [transc] Funzioni trascendenti, \emph{ad esempio}, exp, sin,
/seL4-l4v-master/HOL4/examples/machine-code/multiword/
H A DmultiwordScript.sml2678 \\ Q.PAT_X_ASSUM `exp = (xx,yy)` MP_TAC

Completed in 68 milliseconds

12345678910