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