IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
map2 wf121 1. 'a : Type
2. 'b : Type
3. 'c : Type
4. f : 'a'b'c 5. 'a List
6. u : 'a 7. v : 'a List
8. l2:'b List. map2(f;v;l2) 'c List
9. 'b List
map2(f;cons(u; v);nil) 'c List
By:
RecUnfold `map2` 0 THEN Simp THEN StrongAuto
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html