Nuprl - mb_event_system_1 LEMMAs for concat

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Rank	Theorem	Name
2	Thm* ll1,ll2:(T List) List. ll1 ll2 concat(ll1) concat(ll2)	[concat_iseg]
cites the following:
1	Thm* ll1,ll2:(Top List) List. concat(ll1 @ ll2) ~ (concat(ll1) @ concat(ll2))	[concat_append]

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html