Searched defs:form (Results 1 - 11 of 11) 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[all...]
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibSolver.sig37 type form = type
H A DmlibSolver.sml135 type form = type
H A DnormalForms.sml1350 val form as Formula ((m,_),_,_,_) = count_cnf [] concl_th value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DASN1.sml27 datatype form = Primitive | Constructed type
61 datatype form = Primitive | Constructed type
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DDeviceBase.sml459 val form = value
/seL4-l4v-10.1.1/HOL4/src/num/termination/
H A DTotalDefn.sml504 val form = list_mk_conj(WFR::rest) value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DNormalize.sml644 fun form fm = function
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DNormalize.sml644 fun form fm = function
[all...]

Completed in 116 milliseconds