(3steps total) PrintForm Definitions core StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: stable not
  P:Prop. Stable{P}
By: Unfold `stable` 0

Generated subgoal:

1 1. P : Prop
2. P
  P
2 steps

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

(3steps total) PrintForm Definitions core StandardLIB Doc