Lines Matching refs:is_var
133 orelse (is_var ratort andalso
152 else if (is_var ratort andalso
1275 is_var (RHS (concl thm))
1631 else if is_var f1 andalso is_var f2
1752 if all (all is_var o snd o strip_comb) constructors andalso
1820 val _ = if is_var a then () else
2090 val _ = if exists (not o is_var) vars then
2121 if is_var term then mk_var(fst (dest_var term),t) else raise e;
2472 (is_var M andalso type_of M = target) orelse
2690 then filter is_var (snd (strip_comb r))
2691 else filter is_var (snd (strip_comb (rand r))))
2708 fun test x = is_var (rand x) handle _ => false
2801 if all (fn x => is_var x orelse mem x (snd (strip_comb function_term)))
2860 val (normal_args,higher_args) = partition is_var args
3006 if is_var cs then raise Empty
3909 (snd (encode_until [is_var o rand] ([],[]) cond)))