Nuprl - mb_automata_3 LEMMAs for sigma_decls_mng

Rank	Theorem	Name
2	Thm* ds:Collection(dec()), rho:Decl, a:([[ds]] rho), x:Label. mk_dec(kind(a), x) ds value(a) rho(x)	[sigma_decls_mng_value2]
cites
1	Thm* ds:Collection(dec()), rho:Decl, a:([[ds]] rho). value(a) [[dec_lookup(ds;kind(a))]] rho	[sigma_decls_mng_value]
0	Thm* sts:Collection(SimpleType), rho:Decl, v:[[sts]] rho, s:SimpleType. s sts v [[s]] rho	[sts_mng_subtype]