WhoCites Definitions mb basic Sections MarkB generic Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites tl?
tlDef tl(l) == Case of l; nil  nil ; h.t  t
Thm* A:Type, l:A List. tl(l A List

About:
listnillist_ind
universememberall!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions mb basic Sections MarkB generic Doc