Selected Objects

def	Sequent	Sequent == (Formula List)(Formula List)
THM	product_inc_Sequent	((Formula List)(Formula List)) Sequent
def	H	s.H == s.1
def	C	s.C == s.2