(7steps total) PrintForm Definitions Lemmas mb event system 1 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: general length nth tl 1
  L:Top List. ||L|| = if 0<||L|| ||L||-0 else 0 fi
By: Auto THEN SplitOnConclITE

Generated subgoals:

None

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

(7steps total) PrintForm Definitions Lemmas mb event system 1 Sections EventSystems Doc