PrintForm Definitions Lemmas core StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: dneg elim
  A:Prop. Dec(A)  A  A
By: Fold `stable` 0 THEN Lemma Thm* Dec(P)  Stable{P}

Generated subgoals:

None

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

PrintForm Definitions Lemmas core StandardLIB Doc