Nuprl Theory sequent_equality

(only non hidden objects are presented)

THMdiscrete__SequentDiscrete{Sequent}

the other theories