IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
not cons nil21111 1. 'a : S
2. t : 'a List
3. h : 'a 4. 'a:S, t:'a List, h:'a. cons(h; t) = nil
cons(h; t) = nil
By:
BackThru -1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
'a:S, t:'a List, h:'a. 
cons(h; t) = nil
