Searched defs:objects (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/seL4/manual/parts/
H A Dobjects.tex[all...]
/seL4-l4v-master/HOL4/examples/acl2/lisp/
H A Duntranslate-file.lisp
H A Dbook-essence.lisp
H A Da2ml.lisp
/seL4-l4v-master/HOL4/src/metis/
H A DmlibClause.sml142 in val objects = foldl (fn (h,t) => break h @ t) []; value

Completed in 61 milliseconds