Definitions bool 1 Doc

At: comb for bor wf

(p,q,z. p q) True
By: ProveOpCombTyping Thm* p,q:. (p q)
Generated subgoals:

None