PrintForm Definitions mb event system 7 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: ma-single-init-ma-single-init-compatible
  x:Id, t,v:Top, x1:Id, t1,v1:Top.
  x = x1  x : t initially x = v ||+ x1 : t1 initially x1 = v1
By: ProveBaseCompatTac

Generated subgoals:

None

About:
equaltopimpliesall
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 7 Sections EventSystems Search Doc