Lines Matching defs:y1
693 val y1 = extract_side_condition y694 in if x1 ~~ T then y1 else695 if y1 ~~ T then x1 else mk_conj(x1,y1) end702 val y1 = extract_side_condition y704 in if y1 ~~ T andalso z1 ~~ T then T else mk_cond(x,y1,z1) end707 val y1 = extract_side_condition y708 in if y1 ~~ T then T else mk_imp(x,y1) end