Searched defs:subtract (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DAlgebra.sig30 val subtract : expression * expression -> expression value
H A DAlgebra.sml198 fun subtract (a,b) = add (a, negate b); function
292 fun subtract (e,n,m) : expressionl = function
H A DUseful.sig173 val subtract : ''a list -> ''a list -> ''a list value
H A DUseful.sml300 fun subtract s t = foldl (fn (v,x) => if mem v t then x else v::x) [] (rev s); function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMultiset.sig16 val subtract : 'a mset -> 'a mset -> 'a mset value
H A DmlibMultiset.sml47 fun subtract a b = if M.numItems b = 0 then a else union a (compl b); function
H A DmlibUseful.sig83 val subtract : ''a list -> ''a list -> ''a list value
H A DmlibUseful.sml261 fun subtract s t = foldl (fn (v,x) => if mem v t then x else v::x) [] (rev s); function
/seL4-l4v-10.1.1/HOL4/src/res_quan/src/
H A DCond_rewrite.sml22 val subtract = op_set_diff aconv value
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sig145 val subtract : ''a list -> ''a list -> ''a list value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig113 val subtract : ''a list -> ''a list -> ''a list value
H A DPortable.sml393 val subtract = set_diff value

Completed in 733 milliseconds