Lines Matching refs:is_var
36 if is_var p then ABS p th
242 if is_var p then BETA_CONV tm
270 if is_var p
279 if is_var bp
282 if is_var np
344 if is_var tm then mem tm V else
374 fun new_pair p s = if is_var p then new_var p s else let val (p1,p2) = dest_pair p in mk_pair(new_pair p1 s,new_pair p2 s) end
392 in if is_var np
393 then if is_var opr then ALPHA_CONV np tm
403 if is_var opr
444 in if is_var p1
1598 let val h' = variant (avl@(filter is_var t)) h
1604 let val avoid = (flatten (map ((map (assert is_var)) o strip_pair) pl))
1605 val originals = uniq (map (assert (fn p => is_var p orelse is_const p))
1647 if (not (is_pair t)) andalso (is_var x) then
1663 else (* (is_pair t) & (is_var x) *)
1680 if is_var p then
1695 if (is_var x) andalso (is_var p) then
1704 else if (is_var p) andalso (is_pair x) then
1710 else (*(is_pair p) & (is_var x)*)
2019 if is_var f then
2020 if is_var y then
2032 if is_var y then
2073 if is_var tm then