PrintForm Definitions mb event system 1 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: append assoc sq
  as,bs,cs:Top List. ((as @ bs) @ cs) ~ (as @ bs @ cs)
By: InductionOnList THEN Reduce 0 THEN UnivCD THEN Analyze THEN Try BackThruSomeHyp

Generated subgoals:

None

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

PrintForm Definitions mb event system 1 Sections EventSystems Doc