(3steps total) PrintForm ElisTarskiPf B Sections NuprlLIB Doc

At: qnot subx 1 1
1. t: Term
2. e: Term
NOT(t)[e/X] = NOT(t[e/X])
By: ComputeAtAddr [2] 0
Generated subgoals:

None

About:
equal

(3steps total) PrintForm ElisTarskiPf B Sections NuprlLIB Doc