Searched defs:ml (Results 1 - 19 of 19) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibPortable.sig10 val ml : string value
H A DmlibPortable.sml13 val ml = Systeml.ML_SYSNAME; value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/
H A DPortableIsabelle.sml11 val ml = "isabelle" value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DPortable.sig13 val ml : string value
H A DPortableMlton.sml13 val ml = "mlton"; value
H A DPortablePolyml.sml13 val ml = "polyml"; value
H A DPortableMosml.sml13 val ml = "mosml"; value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/
H A DPortableIsabelle.sml11 val ml = "isabelle" value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DPortable.sig13 val ml : string value
H A DPortableMlton.sml13 val ml = "mlton"; value
H A DPortablePolyml.sml13 val ml = "polyml"; value
H A DPortableMosml.sml13 val ml = "mosml"; value
/seL4-l4v-10.1.1/HOL4/src/res_quan/src/
H A DCond_rewrite.sml42 let val ml = match_aa ante asm value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/
H A Da2ml.lisp[all...]
H A Dpkg-alist-to-alist.lisp
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A DHolBdd.tex[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A DHolBdd.tex[all...]
H A Dlibraries.tex[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml2287 val ((ml,left),(mr,right)) = with_exn (dest_comb ## dest_comb) (l,r) value
[all...]

Completed in 88 milliseconds