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

/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Dinline.sig13 val optimize : thm -> thm value
H A Dinline.sml113 fun optimize th = function

Completed in 29 milliseconds