Nuprl - mb automata 4 LEMMAs for tc closed pred

Rank	Theorem	Name
3			Thm* p:Fmla, ds:Collection(dec()), da1,da2:Collection(SimpleType), de:sig(). closed_pred(p) tc_pred(p;ds;da1;de) tc_pred(p;ds;da2;de)	[tc_closed_pred]
cites
2			Thm* r:rel(), ds:Collection(dec()), da1,da2:Collection(SimpleType), de:sig(). closed_rel(r) tc(r;ds;da1;de) tc(r;ds;da2;de)	[tc_closed_rel]