mk_conj : term * term -> term

SYNOPSIS
Constructs a conjunction.

DESCRIBE
mk_conj(t1, t2) returns the term t1 /\ t2.

FAILURE
Fails if t1 and t2 do not both have type bool.

SEEALSO  dest_conj,   is_conj,   list_mk_conj,   strip_conjp

HOL  Kananaskis 0