EVERY_CONJ_CONV : conv -> conv
- EVERY_CONJ_CONV BETA_CONV (Term`(\x. x /\ y) p`); > val it = |- (\x. x /\ y) p = p /\ y : thm - EVERY_CONJ_CONV BETA_CONV (Term`(\y. y /\ p) q /\ (\z. z) r`); > val it = |- (\y. y /\ p) q /\ (\z. z) r = (q /\ p) /\ r : thm