PrintForm Definitions full sequent assignment Sections ClassicalProps(jlc) Doc

At: full sequent assignment inc 1 1
1. S: Sequent

x:Full(S). x Assignment
By:
Analyze 1
THEN
UnivCD
Generated subgoal:

11. S1: Formula List
2. S2: Formula List
3. x: Full( < S1,S2 > )
x Assignment

About:
allmember