PrintForm Definitions mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: d-sub wf
  D1,D2:Dsys. D1  D2  Prop{i'}
By: Repeat (Unfolds [`dsys`;`d-sub`] 0)

Generated subgoals:

None

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

PrintForm Definitions mb event system 6 Sections EventSystems Doc