is_conj : term -> bool

SYNOPSIS
Tests a term to see if it is a conjunction.

DESCRIBE
If M has the form t1 /\ t2, then is_conj M returns true. If M is not a conjunction the result is false.

FAILURE
Never fails.

SEEALSO  mk_conj,   dest_conj

HOL  Kananaskis 0