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: decidable equal nat
  x,y:. Dec(x = y)
By: Auto THEN AssertBY Dec(x = y) Auto THEN Repeat ParallelLast

Generated subgoals:

None

About:
decidableintequalall
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