PrintForm Definitions mb event system 4 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: fpf-ap-single
  eq,x,v:Top. x : v(x) ~ v
By: Unfolds [`fpf-ap`;`fpf-single`] 0 THEN Reduce 0

Generated subgoals:

None

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

PrintForm Definitions mb event system 4 Sections EventSystems Search Doc