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

/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml2138 fun install(defun tm) = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml2072 fun install(defun tm) = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dsexp.sml2072 fun install(defun tm) = function

Completed in 117 milliseconds