Searched defs:lst (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/
H A Dcheck-file.lisp[all...]
H A Duntranslate-file.lisp[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/obsolete/
H A Dfilter-forms.lisp
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/
H A Dbarendregt.sml227 val lst = #Rand(dest_comb rhs) value
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/
H A Dbarendregt.sml230 val lst = #Rand(dest_comb rhs) value
/seL4-l4v-10.1.1/HOL4/src/list/src/
H A DListConv1.sml[all...]

Completed in 107 milliseconds