PrintForm Definitions mb event system 7 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /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 /sfa/Nuprl/Shared/Xindentation_hack_doc.html

PrintForm Definitions mb event system 7 Sections EventSystems Doc