Def Stable{P} == P  P

is mentioned by

Thm* Stable{P}  SqStable(P)	[sq_stable__from_stable]
Thm* Dec(P)  Stable{P}	[stable__from_decidable]
Thm* f,g:(AB). (x:A. Stable{f(x) = g(x)})  Stable{f = g}	[stable__function_equal]
Thm* Stable{P}	[stable__not]

Try larger context: StandardLIB IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html