Lines Matching defs:ys
10 val ys = map (numSyntax.mk_numeral o Arbnum.fromInt) (kk 1)
11 val ys = map (fn x => ISPECL [mk_var("w",``:word32``),x] WORD_MUL_LSL) ys
12 val ys = map (GSYM o (CONV_RULE (RAND_CONV EVAL))) ys
13 val ys = map (ONCE_REWRITE_RULE [WORD_MULT_COMM]) ys @ ys
14 in ys end
40 | append_lists (y::ys) = y @ append_lists ys
42 fun diff xs ys = filter (fn y => not (mem y ys)) xs
43 fun intersect xs ys = filter (fn y => mem y xs) ys
358 val ys = filter (fn v => not (v = x) andalso not (v = y)) (list_find y graph)
361 val graph = (x,all_distinct (xs @ ys)) :: graph
542 fun cross xs ys = append_lists (map (fn x => map (fn y => (x,y)) ys) xs)