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

/seL4-l4v-master/HOL4/tools/mode-tests/
H A Dholscript-tests.el
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sml478 fun both f g n = f n andalso g n; function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibUseful.sml420 fun both f g n = f n andalso g n; function
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DpolytypicLib.sig48 val both : bool * bool -> bool value
H A DsignedintScript.sml1381 val both = prove(``!a b. a / & (2 ** SUC b) = (a / 2) / 2 ** b``, value
H A DpolytypicLib.sml210 fun both (a,b) = a andalso b; function

Completed in 84 milliseconds