(6steps total) PrintForm Definitions hol list 2 Sections HOLlib Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: not nil cons2 1 1 1 1

1. 'a : S
2. t : 'a List
3. h : 'a
4. 'a:S, t:'a List, h:'anil = cons(ht)
  nil = cons(ht)


By: BackThru -1


Generated subgoals:

None

About:
listequalall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(6steps total) PrintForm Definitions hol list 2 Sections HOLlib Doc