WhoCites Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites sq stable?
sq_stableDef SqStable(P) == P  P
Thm* A:Prop. SqStable(A Prop
squashDef T == {:True| T }
Thm* A:Prop. A  Prop

Syntax:SqStable(P) has structure: sq_stable(P)

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

WhoCites Definitions StandardLib Sections NuprlLIB Doc