IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
concat-cons l:Top List, ll:(Top List) List. concat([l / ll]) ~ (l @ concat(ll))
By:
Unfold `concat` 0 THEN Reduce 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
l:Top List, ll:(Top List) List. concat([l / ll]) ~ (l @ concat(ll))
