Searched defs:linear (Results 1 - 4 of 4) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DregexpMatch.sml158 let fun linear (Dot(Dot(r1,r2),r3)) = Dot(r1,linear(Dot(r2,r3))) function
/seL4-l4v-10.1.1/HOL4/src/probability/
H A Dreal_topologyScript.sml646 val linear = new_definition ("linear", value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DIR.sml246 fun linear (Tree.SEQ(a,b),l) = linear (a, linear(b,l)) function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DsignedintScript.sml641 val linear = ``\f. ?m b. !x. f x = m * x + b:int``; value
[all...]

Completed in 92 milliseconds