Nuprl Theory full_sequent_assignment

(only non hidden objects are presented)

DISPfull_sequent_assignment_dfFull(<S:Sequent:L>)== Full(<S>)
ABSfull_sequent_assignmentFull(S) == {a:Assignment| a |= S a | S}
THMfull_sequent_assignment_wfS:Sequent. Full(S)
THMfull_sequent_assignment_incS:Sequent. Full(S) Assignment
THMfull_sequent_assignment_propertiesS:Sequent. a:Full(S). a |= S a | S

the other theories