Searched defs:non (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Drecords.lisp
H A Dcircuits.lisp
/seL4-l4v-master/HOL4/src/quotient/Manual/
H A Dquotient.tex
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Ddefinitions.tex[all...]
H A Dsystem.tex[all...]
H A Dtheories.tex[all...]
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sig81 val non : ('a -> bool) -> 'a -> bool value
H A DUseful.sml155 fun non f = not o f; function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibUseful.sig37 val non : ('a -> bool) -> 'a -> bool value
H A DmlibUseful.sml111 fun non f = not o f; function
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DencodeLib.sml

Completed in 232 milliseconds