(5steps total) PrintForm Definitions Lemmas mb event system 6 Sections EventSystems Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: msg-form-join-list 2
1. MsgA List
2. u : MsgA
3. v : MsgA List
4. (v)  MsgAForm
  u  (v)  MsgAForm
By: Inst Thm* A,B:MsgAForm. A  B  MsgAForm []

Generated subgoal:

1 5. A,B:MsgAForm. A  B  MsgAForm
  u  (v)  MsgAForm
2 steps

About:
listmemberall
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

(5steps total) PrintForm Definitions Lemmas mb event system 6 Sections EventSystems Search Doc