IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
map is nil A,B:Type, f:(AB), l:A List. map(f;l) = nil l = nil
By:
InductionOnList THEN Reduce 0 THEN ObviousFrom [-1]
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
A,B:Type, f:(A
B), l:A List. map(f;l) = nil 
l = nil
