IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sublist tl1 1. T : Type
2. T List
3. L2 : T List
4. null(L2)
5. nil tl(L2)
nil L2
By:
Easy
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
null(L2)
tl(L2)
nil 
